Verwandte Artikel zu Logic Programming: Operational Semantics and Proof...
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.
Suchergebnisse für Logic Programming: Operational Semantics and Proof...
Beispielbild für diese ISBN
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4) (Volume 0)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Artikel-Nr. I-9780521607544
Neu kaufen
EUR 57,29
EUR 2,69 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
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. Artikel-Nr. 3133984
Gebraucht kaufen
EUR 61,76
EUR 17,98 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. Artikel-Nr. 3133984-n
Neu kaufen
EUR 62,31
EUR 17,98 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: 4 (Distinguished Dissertations in Computer Science, Series Number 4)
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. A homogeneous treatment of the semantics of both theoretical and practical logic programming languages. Series: Distinguished Dissertations in Computer Science. Num Pages: 120 pages, black & white illustrations. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 6. Weight in Grams: 230. . 2008. Revised ed. paperback. . . . . Books ship from the US and Ireland. Artikel-Nr. V9780521607544
Neu kaufen
EUR 99,88
EUR 9,42 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: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9780521607544
Neu kaufen
EUR 80,33
EUR 35,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Logic Programming: Operational Semantics and Proof Theory: 4 (Distinguished Dissertations in Computer Science, Series Number 4)
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. A homogeneous treatment of the semantics of both theoretical and practical logic programming languages. Series: Distinguished Dissertations in Computer Science. Num Pages: 120 pages, black & white illustrations. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 6. Weight in Grams: 230. . 2008. Revised ed. paperback. . . . . Artikel-Nr. V9780521607544
Neu kaufen
EUR 109,32
EUR 9,50 Versand
Versand von Irland nach USA
Versand von Irland nach USA
Anzahl: Mehr als 20 verfügbar