Plumer, Lutz books & textbook
Logic Programming: Formal Methods and Practical Applications (STUDIES IN COMPUTER SCIENCE AND ARTIFICIAL INTELLIGENCE)
Beierle, Christoph Plumer, Lutz
North-Holland /1994-01-01 Hardcover
isbn-10: 0444820922 / isbn-13: 9780444820921
Termination Proofs for Logic Programs (Lecture Notes in Computer Science, 446)
Springer /1990-07-24 Paperback / 150 Pages
isbn-10: 3540528377 / isbn-13: 9783540528371
Semantic Modeling for the Acquisition of Topographic Information from Images and Maps: SMATI 97
Förstner, Wolfgang Plümer, Lutz
Birkhäuser /1997-05-01 Hardcover / 238 Pages
isbn-10: 3764357584 / isbn-13: 9783764357580
