Media type: Book Title: Automatisches Theorembeweisen durch logische Programmierung Contributor: Heitsch, Wolfram [Author] imprint: Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1996 Published in: Informatik-Berichte ; 6200 Extent: 43 S; 30 cm Language: German RVK notation: SS 5530 : Universität Berlin, Humboldt-Universität: Informatikberichte Keywords: Forschungsbericht Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 96 4 31602 001 Item ID: 30440794 Status: Loanable, place order > Ordering possible ‒ please log in