Konferenzschrift | Kongress

Interactive theorem proving : second international conference ; proceedings

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642228629
3642228623
Maße
24 cm
Umfang
XI, 382 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; 6898

Schlagwort
Automatisches Beweisverfahren
HOL

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg
(wer)
Springer
(wann)
2011
Beteiligte Personen und Organisationen
Eekelen, Marko van
Geuvers, Herman
Schmaltz, Julien
Wiedijk, Freek
ITP (2 : 2011 : Berg en Dal)

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:01 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Konferenzschrift
  • Kongress

Beteiligte

  • Eekelen, Marko van
  • Geuvers, Herman
  • Schmaltz, Julien
  • Wiedijk, Freek
  • ITP (2 : 2011 : Berg en Dal)
  • Springer

Entstanden

  • 2011

Ähnliche Objekte (12)

Interactive theorem proving : 4th International Conference ; proceedings

Konferenzschrift | Kongress

Interactive theorem proving : 4th International Conference ; proceedings

Interactive theorem proving : first international conference ; proceedings

Konferenzschrift | Kongress

Interactive theorem proving : first international conference ; proceedings

Interactive theorem proving : third international conference ; proceedings

Konferenzschrift | Kongress

Interactive theorem proving : third international conference ; proceedings

15th International Conference on Interactive Theorem Proving (ITP 2024)

15th International Conference on Interactive Theorem Proving (ITP 2024)

14th International Conference on Interactive Theorem Proving (ITP 2023)

14th International Conference on Interactive Theorem Proving (ITP 2023)

13th International Conference on Interactive Theorem Proving (ITP 2022)

13th International Conference on Interactive Theorem Proving (ITP 2022)

10th International Conference on Interactive Theorem Proving (ITP 2019)

10th International Conference on Interactive Theorem Proving (ITP 2019)

12th International Conference on Interactive Theorem Proving (ITP 2021)

12th International Conference on Interactive Theorem Proving (ITP 2021)

Interactive theorem proving with indexed formulas

Interactive theorem proving with indexed formulas

Interactive theorem proving in symbolic incidence geometry

Hochschulschrift

Interactive theorem proving in symbolic incidence geometry

Automated theorem proving

Automated theorem proving

Automated theorem proving

Automated theorem proving

Verbundene Objekte