HOTL: Hypotheses and observations testing logic

  1. Rodríguez, I.
  2. Merayo, M.G.
  3. Núñez, M.
Revista:
Journal of Logic and Algebraic Programming

ISSN: 1567-8326

Ano de publicación: 2008

Volume: 74

Número: 2

Páxinas: 57-93

Tipo: Artigo

DOI: 10.1016/J.JLAP.2007.03.002 GOOGLE SCHOLAR lock_openAcceso aberto editor
Fonte de datos: Scopus