Parallele Modelle für Deduktionssysteme
By: von Ulrich Assmann.
Series: Dissertationen zur künstlichen Intelligenz,; Bd. 21
Publisher: Infix
Published: 1992
Place of publication: Sankt Augustin
Language: ger
Number of pages: 297
Subjects: Parallel programming (Computer science); Automatic theorem proving.; Artificial intelligence.
Notes: Dissertation--Universität Bonn, 1992.