Media type: Book Title: Relative complexities of first order calculi Contains: Literaturverz. S. [161] - 167 Contributor: Eder, Elmar [Author] Published: Braunschweig; Wiesbaden: Vieweg, 1992 Published in: Artificial intelligence Extent: 173 S.; graph. Darst; 23 cm Language: English ISBN: 3528051221 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation ST 130 : Allgemeines Keywords: Prädikatenlogik > Stufe 1 > Kalkül > Komplexität Prädikatenlogik > Stufe 1 > Kalkül > Komplexität Origination: Footnote: Literaturverz. S. 162 - 167
Departmental Library DrePunct – stack Shelf-mark: 94 8 05612 001 Item ID: 10090180 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order
Departmental Library DrePunct – stack Shelf-mark: 0892 80978 002 Item ID: 30443945 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order