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 (Distinguished Dissertations in Computer Science, Series Number 4)
Editore:
Cambridge University Press, 1993
ISBN 10: 0521432197
ISBN 13: 9780521432191
Antico o usato
Rilegato
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Codice articolo GOR015067279
Compra usato
EUR 46,64
Spedizione EUR 6,63
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
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: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Codice articolo OTV.0521432197.G
Compra usato
EUR 64,61
Spedizione gratuita
Spedito in U.S.A.
Spedito in 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 132,26
Spedizione EUR 105,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili