HOTL: Hypotheses and observations testing logic

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

ISSN: 1567-8326

Année de publication: 2008

Volumen: 74

Número: 2

Pages: 57-93

Type: Article

DOI: 10.1016/J.JLAP.2007.03.002 GOOGLE SCHOLAR lock_openAccès ouvert editor
La source de données: Scopus