Goals in the prepositional Horn⊃ language are monotone Boolean circuits

  1. Gaintzarain, J.
  2. Hermo, M.
  3. Navarro, M.
Actas:
Lecture Notes in Computer Science

ISSN: 0302-9743

Año de publicación: 2005

Volumen: 3618

Páginas: 376-386

Tipo: Aportación congreso