Goals in the prepositional Horn⊃ language are monotone Boolean circuits
Aktak:
Lecture Notes in Computer Science
ISSN: 0302-9743
Argitalpen urtea: 2005
Alea: 3618
Orrialdeak: 376-386
Mota: Biltzar ekarpena