Zum Hauptinhalt springen

Autoren-Bilder

Yves Bertot

Autor von Interactive Theorem Proving and Program Development

3 Werke 42 Mitglieder 0 Rezensionen

Werke von Yves Bertot

Beliebt Zuletzt

Interactive Theorem Proving and Program Development (2004) 40 Exemplare

From Semantics to Computer Science: Essays in Honour of Gilles Kahn (2009) 1 Exemplar

Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999… (2003) 1 Exemplar

Informationen zu Werken

Getagged

2009 (1) @goog (1) @oh (1) am Arbeitsplatz (1) Beweise (1) Coq (4) CS (1) Formale Methode (1) free ebooks (1) gelesen 2008 (1) Informatik (5) Logik (2) Mathematik (1) noch zu lesen (3) Objective CAML (1) owner:klaus (1) P2 (1) Programmierung (2) programming language theory (1) Proof assistants (1) Sachbuch (2) Sprachen (1) theorem proving (3) ungelesen (1) verification (1) Von Amazon (1) where:klaus office (1) Wunschzettel (1)

Tag-Übersetzung eingeschaltet

Wissenswertes

Geschlecht: male
Nationalität: France

Mitglieder

Dir gefällt vielleicht auch

Nahestehende Autoren

Pierre Castéran Author

Gérard Huet Foreword

Christine Paulin-Mohring Foreword

Statistikseite

Werke: 3
Mitglieder: 42
Beliebtheit: #357,757
Bewertung: ½ 2.6

ISBNs: 7

Bilder

Autoren-Galerie

Links

Offizielle Homepage (English)

Helfer-Hub

LibraryThing-Mitglieder verbessern Autoren, indem sie Autorennamen und Werke kombinieren, gleichnamige Autoren in separate Identitäten aufteilen und vieles mehr.

Sind Sie das?

Werde ein LibraryThing-Autor.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Diese Seite verwendet Cookies für unsere Dienste, zur Verbesserung unserer Leistungen, für Analytik und (falls Sie nicht eingeloggt sind) für Werbung. Indem Sie LibraryThing nutzen, erklären Sie dass Sie unsere Nutzungsbedingungen und Datenschutzrichtlinie gelesen und verstanden haben. Die Nutzung unserer Webseite und Dienste unterliegt diesen Richtlinien und Geschäftsbedingungen.