Media type: Book Title: Cooperation of decision procedures in a tableau-based theorem prover Contributor: Käufl, Thomas [Author] imprint: Karlsruhe: Univ., Fak. für Informatik, 1989 Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 89,19 Extent: 20 Bl Language: English RVK notation: SS 5554 : Universität Karlsruhe: Fakultät für Informatik: Interner Bericht Keywords: Bericht Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 0890 80222 001 Item ID: 30084012 Status: Loanable, place order > Ordering possible ‒ please log in