Author: PLUMER, LUTZ Title: Termination Proofs for Logic Programs (Lecture Notes in Computer Science)
Description: Berlin, Springer-Verlag. 1990, No Earlier Edition Stated. (ISBN: 0387528377). paperback. Clean Copy, Slightly worn cover. Good/No Dust Jacket.
Keywords: 0387528377
Price: GBP 6.72 = appr. US$ 9.60 Seller: PsychoBabel Books
- Book number: 051320
See more books from our catalog:
Computers & Technology (Incl. Ai)