Media type: Book; Thesis Title: Plan generation by linear deduction Contributor: Schneeberger, Josef [Author] imprint: 1992 Extent: IV, 156 S; graph. Darst Language: English RVK notation: ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Keywords: Planungssystem > Automatisches Beweisverfahren Origination: University thesis: Darmstadt, Techn. Hochsch., Diss., 1992 Footnote: Zsfassung in dt. Sprache
Departmental Library DrePunct – stack Shelf-mark: 95 8 05548 001 Item ID: 10013566 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order