Title: Parallele Modelle für Deduktionssysteme
First published: 1992
Subjects: Parallel programming (Computer science), Artificial intelligence, Automatic theorem proving
LC classification: QA76.642 .A87 1992