Konferenzschrift | Kongress
Interactive theorem proving : first international conference ; proceedings
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642140518
- Maße
-
24 cm
- Umfang
-
XI, 493 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; 6172
- Schlagwort
-
Automatisches Beweisverfahren
HOL
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, NY
- (wer)
-
Springer
- (wann)
-
2010
- Beteiligte Personen und Organisationen
-
Kaufmann, Matt
ITP (1 : 2010 : Edinburgh)
Federated Logic Conference (2010 : Edinburgh)
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:51 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
- Kongress
Beteiligte
- Kaufmann, Matt
- ITP (1 : 2010 : Edinburgh)
- Federated Logic Conference (2010 : Edinburgh)
- Springer
Entstanden
- 2010
Ähnliche Objekte (12)
Interactive theorem proving : second international conference ; proceedings
Interactive theorem proving : 4th International Conference ; proceedings
Interactive theorem proving : third international conference ; proceedings
15th International Conference on Interactive Theorem Proving (ITP 2024)
14th International Conference on Interactive Theorem Proving (ITP 2023)
13th International Conference on Interactive Theorem Proving (ITP 2022)
10th International Conference on Interactive Theorem Proving (ITP 2019)
12th International Conference on Interactive Theorem Proving (ITP 2021)
Interactive theorem proving with indexed formulas
Interactive theorem proving in symbolic incidence geometry
First order theorem proving modulo equations
First-order theorem proving modulo equations
Interactive theorem proving : second international conference ; proceedings
Interactive theorem proving : 4th International Conference ; proceedings
Interactive theorem proving : third international conference ; proceedings
15th International Conference on Interactive Theorem Proving (ITP 2024)
14th International Conference on Interactive Theorem Proving (ITP 2023)
13th International Conference on Interactive Theorem Proving (ITP 2022)
10th International Conference on Interactive Theorem Proving (ITP 2019)
12th International Conference on Interactive Theorem Proving (ITP 2021)
Interactive theorem proving with indexed formulas
Interactive theorem proving in symbolic incidence geometry
First order theorem proving modulo equations
First-order theorem proving modulo equations
Interactive theorem proving : second international conference ; proceedings
Interactive theorem proving : 4th International Conference ; proceedings
Interactive theorem proving : third international conference ; proceedings
15th International Conference on Interactive Theorem Proving (ITP 2024)
14th International Conference on Interactive Theorem Proving (ITP 2023)
13th International Conference on Interactive Theorem Proving (ITP 2022)
10th International Conference on Interactive Theorem Proving (ITP 2019)
12th International Conference on Interactive Theorem Proving (ITP 2021)
Interactive theorem proving with indexed formulas
Interactive theorem proving in symbolic incidence geometry
First order theorem proving modulo equations