Articoli correlati a Logic Programming: Operational Semantics and Proof...
Sinossi
A homogeneous treatment of the semantics of both theoretical and practical logic programming languages.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
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.
Contenuti
1. Introduction; 2. Operational semantics; 3. Characterizing parallel systems; 4. Characterizing sequential systems; 5. Approaches to incompleteness; 6. Summary and future directions; Examples; Index of definitions; Index.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Logic Programming: Operational Semantics and Proof...
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
Quantità: 1 disponibili
Foto dell'editore
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4)
Editore:
Cambridge University Press -, 1993
ISBN 10: 0521432197
ISBN 13: 9780521432191
Antico o usato
Rilegato
Da: Bahamut Media, Reading, Regno Unito
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. Codice articolo 6545-9780521432191
Quantità: 1 disponibili
Foto dell'editore
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4)
Editore:
Cambridge University Press, 1993
ISBN 10: 0521432197
ISBN 13: 9780521432191
Antico o usato
Rilegato
Da: AwesomeBooks, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Very Good. Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. . Codice articolo 7719-9780521432191
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 | Seiten: 116 | Sprache: Englisch | Produktart: Bücher. Codice articolo 25453988/202
Quantità: 1 disponibili