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

Año de publicación: 2008

Volumen: 74

Número: 2

Páginas: 57-93

Tipo: Artículo

DOI: 10.1016/J.JLAP.2007.03.002 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus