Media type: Book; Conference Proceedings Title: Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 1997; proceedings Contributor: Fuchs, Norbert E. [Hrsg.] Event: LOPSTR imprint: Berlin; Heidelberg; New York [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1463 Extent: X, 342 S.; graph. Darst Language: English ISBN: 3540650741 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Logische Programmierung > Programmtransformation Logische Programmierung > Programmschema Logische Programmierung > Programmsynthese > Automatisches Beweisverfahren Origination: Footnote: Includes bibliographical references and indexes
Departmental Library DrePunct – stack Shelf-mark: R2016 8 4523 Item ID: 30440841 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order