Media type: Book; Conference Proceedings Title: Logic based program synthesis and transformation : 11th international workshop ; selected papers Contributor: Pettorossi, Alberto [Hrsg.] Event: LOPSTR imprint: Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2372 Extent: VIII, 265 S.; graph. Darst; 24 cm Language: English ISBN: 3540439153 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Logische Programmierung > Programmsynthese Logische Programmierung > Programmtransformation Computational logic Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 5666 Item ID: 30921488 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order