Produktbild: Logic, Algebra, and Computation
Band 79

Logic, Algebra, and Computation International Summer School

Aus der Reihe NATO ASI Subseries F:

99,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

16.01.2012

Herausgeber

Friedrich L. Bauer

Verlag

Springer Berlin

Seitenzahl

485

Maße (L/B/H)

24,2/17/2,8 cm

Gewicht

854 g

Auflage

Softcover reprint of the original 1st ed. 1991

Sprache

Englisch

ISBN

978-3-642-76801-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

16.01.2012

Herausgeber

Friedrich L. Bauer

Verlag

Springer Berlin

Seitenzahl

485

Maße (L/B/H)

24,2/17/2,8 cm

Gewicht

854 g

Auflage

Softcover reprint of the original 1st ed. 1991

Sprache

Englisch

ISBN

978-3-642-76801-9

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: Logic, Algebra, and Computation
  • Theory of Computation and Specification over Abstract Data Types, and its Applications.- Fundamentals of Deductive Program Synthesis.- Notes on Resolution.- au ?-calcul pur.- Normalization.- Computability — Logical and Recursive Complexity.- Reflecting the Open-Ended Computation System of Constructive Type Theory.- Some Lectures on Modal Logic.- Formal Approaches to Concurrency.- The Family of Concurrent Logic Programming Languages.