Verwandte Artikel zu Logic Programming: Operational Semantics and Proof...
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4) - Hardcover
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.
Críticas
."..selected as one of the best PhD dissertations in computer science. Researchers interested in logic programming and semantics will find interesting results in this book, including both theoretical and practical solutions." G. Ciobanu, Computing Reviews
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 10,25
EUR 3,45 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer
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)
Verlag:
Cambridge University Press -, 1993
ISBN 10: 0521432197
ISBN 13: 9780521432191
Gebraucht
Hardcover
Anbieter: Bahamut Media, Reading, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: 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. Bestandsnummer des Verkäufers 6545-9780521432191
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic Programming: Operational Semantics and Proof Theory
Verlag:
Cambridge University Press, 1992
ISBN 10: 0521432197
ISBN 13: 9780521432191
Gebraucht
Hardcover
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 9835349
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4)
Verlag:
Cambridge University Press, 1993
ISBN 10: 0521432197
ISBN 13: 9780521432191
Gebraucht
Hardcover
Anbieter: AwesomeBooks, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: 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. . Bestandsnummer des Verkäufers 7719-9780521432191
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic Programming
Verlag:
Cambridge University Press, 1992
ISBN 10: 0521432197
ISBN 13: 9780521432191
Gebraucht
Hardcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 116 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 25453988/202
Anzahl: 1 verfügbar