Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, 4, Band 4) - Softcover
Inhaltsangabe
A homogeneous treatment of the semantics of both theoretical and practical logic programming languages.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Logic Programming: Operational Semantics and Proof...
Foto des Verkäufers
Logic Programming : Operational Semantics And Proof Theory
Verlag:
Cambridge University Press, 2004
ISBN 10: 052160754X
ISBN 13: 9780521607544
Gebraucht
Softcover
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 3133984
Gebraucht kaufen
EUR 51,63
EUR 2,25 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Logic Programming : Operational Semantics And Proof Theory
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 3133984-n
Neu kaufen
EUR 52,12
EUR 2,25 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logic Programming (Paperback)
Verlag:
Cambridge University Press, Cambridge, 2004
ISBN 10: 052160754X
ISBN 13: 9780521607544
Neu
Paperback
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in which 'depth-first' search for solutions to a logical formula - the usual strategy in most practical languages - is incomplete. Languages that perform 'breadth-first' searches reflect more closely the theory underlying logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies, will want to consult this book as the only source for some essential and new ideas in the area. 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. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9780521607544
Beispielbild für diese ISBN
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9780521607544
Neu kaufen
EUR 54,46
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logic Programming: Operational Semantics and Proof Theory
Print-on-DemandAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 104 pages. 10.00x7.75x0.50 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __052160754X
Neu kaufen
EUR 51,44
EUR 11,58 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780521607544_new
Neu kaufen
EUR 49,97
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Logic Programming : Operational Semantics And Proof Theory
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 3133984-n
Neu kaufen
EUR 49,95
EUR 17,37 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logic Programming: Operational Semantics and Proof Theory
Verlag:
Cambridge University Press, 2004
ISBN 10: 052160754X
ISBN 13: 9780521607544
Neu
Paperback / softback
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Bestandsnummer des Verkäufers C9780521607544
Neu kaufen
EUR 56,05
EUR 15,46 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Logic Programming : Operational Semantics And Proof Theory
Verlag:
Cambridge University Press, 2004
ISBN 10: 052160754X
ISBN 13: 9780521607544
Gebraucht
Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 3133984
Gebraucht kaufen
EUR 56,82
EUR 17,37 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logic Programming
Verlag:
Cambridge University Press CUP, 2004
ISBN 10: 052160754X
ISBN 13: 9780521607544
Neu
Softcover
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 120. Bestandsnummer des Verkäufers 26508794
Neu kaufen
EUR 74,69
EUR 3,40 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar