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.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Logic Programming: Operational Semantics and Proof...
Immagini fornite dal venditore
Logic Programming : Operational Semantics And Proof Theory
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 3133984-n
Compra nuovo
EUR 53,01
Spedizione EUR 2,29
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4) (Volume 0)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo I-9780521607544
Compra nuovo
EUR 55,37
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logic Programming : Operational Semantics And Proof Theory
Editore:
Cambridge University Press, 2004
ISBN 10: 052160754X
ISBN 13: 9780521607544
Antico o usato
Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 3133984
Compra usato
EUR 55,70
Spedizione EUR 2,29
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Logic Programming: Operational Semantics and Proof Theory
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 104 pages. 10.00x7.75x0.50 inches. In Stock. This item is printed on demand. Codice articolo __052160754X
Compra nuovo
EUR 51,80
Spedizione EUR 11,66
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4) (Volume 0)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780521607544_new
Compra nuovo
EUR 53,14
Spedizione EUR 13,97
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Logic Programming : Operational Semantics And Proof Theory
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 3133984-n
Compra nuovo
EUR 53,13
Spedizione EUR 17,50
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Logic Programming: Operational Semantics and Proof Theory
Editore:
Cambridge University Press, 2004
ISBN 10: 052160754X
ISBN 13: 9780521607544
Nuovo
Paperback / softback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Codice articolo C9780521607544
Compra nuovo
EUR 56,64
Spedizione EUR 15,57
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logic Programming : Operational Semantics And Proof Theory
Editore:
Cambridge University Press, 2004
ISBN 10: 052160754X
ISBN 13: 9780521607544
Antico o usato
Brossura
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 3133984
Compra usato
EUR 59,90
Spedizione EUR 17,50
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Logic Programming
Editore:
Cambridge University Press CUP, 2004
ISBN 10: 052160754X
ISBN 13: 9780521607544
Nuovo
Brossura
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 120. Codice articolo 26508794
Compra nuovo
EUR 74,67
Spedizione EUR 3,46
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Logic Programming
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 120 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss Lam. Codice articolo 7371941
Compra nuovo
EUR 74,24
Spedizione EUR 7,58
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili