Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4)
James H. Andrews
ISBN 10: 0521432197 ISBN 13: 9780521432191
Editore: Cambridge University Press, 1993
Usato
Hardcover
Da
ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 24 marzo 2009
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Codice articolo G0521432197I4N00
Riassunto:
A homogeneous treatment of the semantics of both theoretical and practical logic programming languages.
Descrizione del libro: The author provides a homogeneous treatment of the semantics of both theoretical and practical logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies need to consult this book as the only source for some essential and new ideas in the area.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Logic Programming: Operational Semantics and...
Casa editrice: Cambridge University Press
Data di pubblicazione: 1993
Legatura: Hardcover
Condizione: Very Good
Condizione sovraccoperta: No Jacket
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Logic Programming: Operational Semantics and Proof Theory
Editore:
Cambridge University Press, 1992
ISBN 10: 0521432197
ISBN 13: 9780521432191
Antico o usato
Rilegato
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In good all round condition. Dust jacket in good condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:9780521432191. Codice articolo 9835349
Compra usato
EUR 7,83
EUR 15,25 shipping
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logic Programming
Editore:
Cambridge University Press, 1992
ISBN 10: 0521432197
ISBN 13: 9780521432191
Antico o usato
Rilegato
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Codice articolo 25453988/202
Compra usato
EUR 35,16
EUR 105,00 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili