Verwandte Artikel zu Logic Programming: The 12th International Conference

Logic Programming: The 12th International Conference - Softcover

 
9780262691772: Logic Programming: The 12th International Conference

Inhaltsangabe

Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.

13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.

Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications. Logic Programming series, Research Reports and Notes

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Leon S. Sterling is Director of eResearch and Chair of Software Innovation and Engineering at the University of Melbourne. He is the coauthor of The Art of Prolog (second edition, MIT Press, 1994) and the editor of The Practice of Prolog (MIT Press, 1990).

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Gebraucht kaufen

Quarto; Blue illus.; (xx, 834 pages...
Diesen Artikel anzeigen

EUR 27,60 für den Versand von USA nach Deutschland

Versandziele, Kosten & Dauer

Suchergebnisse für Logic Programming: The 12th International Conference

Beispielbild für diese ISBN

Sterling, Leon
Verlag: MIT, Cambridge, Mass, 1995
ISBN 10: 0262691779 ISBN 13: 9780262691772
Gebraucht paperback Erstausgabe

Anbieter: BIBLIOPE by Calvello Books, Oakland, CA, USA

Verkäuferbewertung 3 von 5 Sternen 3 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

paperback. Zustand: Very fine. 1st (assumed). Quarto; Blue illus.; (xx, 834 pages): illustrations. Association for Logic Programming. International Symposium on Logic Programming; "13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs. Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications." Very fine. Bestandsnummer des Verkäufers 87466

Verkäufer kontaktieren

Gebraucht kaufen

EUR 35,87
Währung umrechnen
Versand: EUR 27,60
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Verlag: MIT Press, 1995
ISBN 10: 0262691779 ISBN 13: 9780262691772
Gebraucht Softcover

Anbieter: Goodwill of Silicon Valley, SAN JOSE, CA, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: very_good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in very good condition! The cover and any other included accessories are also in very good condition showing some minor use. The spine is straight, there are no rips tears or creases on the cover or the pages. Bestandsnummer des Verkäufers GWSVV.0262691779.VG

Verkäufer kontaktieren

Gebraucht kaufen

EUR 7,70
Währung umrechnen
Versand: EUR 77,50
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb