ISBN 9780444820921 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
