Produktbild: Computational Logic

Computational Logic Symposium Proceedings, Brussels, November 13/14, 1990

Fr. 137.00

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.12.2011

Herausgeber

J.W. Lloyd

Verlag

Springer Berlin

Seitenzahl

211

Maße (L/B/H)

24.2/17/1.3 cm

Gewicht

399 g

Auflage

Softcover reprint of the original 1st ed. 1990

Sprache

Englisch

ISBN

978-3-642-76276-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.12.2011

Herausgeber

J.W. Lloyd

Verlag

Springer Berlin

Seitenzahl

211

Maße (L/B/H)

24.2/17/1.3 cm

Gewicht

399 g

Auflage

Softcover reprint of the original 1st ed. 1990

Sprache

Englisch

ISBN

978-3-642-76276-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Computational Logic
  • Problems and Promises of Computational Logic.- An Introduction to Prolog III.- On Open Defaults.- On Asking What a Database Knows.- Two Kinds of Program Specifications.- Exploration with Mathematica.- Composition Operators for Logic Theories.- The Synthesis of Logic Programs from Inductive Proofs.- Studies in Pure Prolog: Termination.- Concept Logics.- Position papers for the panel session Programming in 2010: The Role of Computational Logic.- Programming in 2010? A scientific and industrial challenge.- Perspective on Computational Logic.- Programming in the year 2010.- It’s Past Time for Practical Computer Checked Proofs of Program Correctness.- Computational Logic needs Symbolic Mathematics.