KI-Beratung Beta

  • Produktbild: Logic and Computer Science
  • Produktbild: Logic and Computer Science
Band 1429

Logic and Computer Science Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

25,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.07.1990

Abbildungen

VI, 170 p.

Herausgeber

Piergiorgio Odifreddi

Verlag

Springer Berlin

Seitenzahl

170

Maße (L/B/H)

23,5/15,5/1 cm

Gewicht

277 g

Auflage

1990

Sprache

Englisch

ISBN

978-3-540-52734-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.07.1990

Abbildungen

VI, 170 p.

Herausgeber

Piergiorgio Odifreddi

Verlag

Springer Berlin

Seitenzahl

170

Maße (L/B/H)

23,5/15,5/1 cm

Gewicht

277 g

Auflage

1990

Sprache

Englisch

ISBN

978-3-540-52734-3

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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 and Computer Science
  • Produktbild: Logic and Computer Science
  • The isomorphism conjecture and its generalizations.- Some lectures on intuitionistic logic.- Making computers safe for the world: An introduction to proofs of programs part I.- Prolog Programming.- A guide to polymorphic types.