Proof Support for Hybridised Logics Teses uri icon

resumo

  • Dissertação de mestrado em Engenharia Informática

data de publicação

  • setembro 1, 2013