HOTL: Hypotheses and observations testing logic

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

ISSN: 1567-8326

Argitalpen urtea: 2008

Alea: 74

Zenbakia: 2

Orrialdeak: 57-93

Mota: Artikulua

DOI: 10.1016/J.JLAP.2007.03.002 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus