Toggle Nav
Menu

Logical Frameworks

416 Seiten, Hardcover
€ 156,40
-
+
Lieferung in 7-14 Werktagen

Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.

Abbrechen Weiter einkaufen
Mehr Informationen
Themen Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung
ISBN 9780521413008
Sprache Englisch
Erscheinungsdatum 26.01.2011
Größe 235 x 157 mm
Verlag Cambridge University Press
Herausgegeben von Gerard Huet, G. Plotkin
LieferzeitLieferung in 7-14 Werktagen
HerstellerangabenAnzeigen
Libri GmbH
Europaallee 1 | D-36244 Bad Hersfeld
gpsr@libri.de
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Kurzbeschreibung des Verlags

This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.

Mehr Informationen
Themen Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung
ISBN 9780521413008
Sprache Englisch
Erscheinungsdatum 26.01.2011
Größe 235 x 157 mm
Verlag Cambridge University Press
Herausgegeben von Gerard Huet, G. Plotkin
LieferzeitLieferung in 7-14 Werktagen
HerstellerangabenAnzeigen
Libri GmbH
Europaallee 1 | D-36244 Bad Hersfeld
gpsr@libri.de
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Diese Produkte könnten Sie auch interessieren:
GUTSCHEIN
faltershop Gutscheinfaltershop Gutschein
Falter-Schürze WürstelFalter-Schürze Würstel
Das Problembär-ShirtDas Problembär-Shirt