HOTL: Hypotheses and observations testing logic

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

ISSN: 1567-8326

Datum der Publikation: 2008

Ausgabe: 74

Nummer: 2

Seiten: 57-93

Art: Artikel

DOI: 10.1016/J.JLAP.2007.03.002 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus