Goals in the prepositional Horn⊃ language are monotone Boolean circuits

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

ISSN: 0302-9743

Argitalpen urtea: 2005

Alea: 3618

Orrialdeak: 376-386

Mota: Biltzar ekarpena