Media type: Book; Thesis Title: Verfeinerungen und Erweiterungen des Modelleliminationskalküls Contributor: Mayr, Klaus [Author] imprint: 1995 Extent: 128 S.; graph. Darst Language: German RVK notation: ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Keywords: Prädikatenlogik > Stufe 1 > Automatisches Beweisverfahren Origination: University thesis: München, Techn. Univ., Diss., 1995 Footnote:
Departmental Library DrePunct – stack Shelf-mark: 96 8 58521 001 Item ID: 10425380 Status: Loanable, place order > Ordering possible ‒ please log in