Konferenzschrift | Kongress
Theorem proving in higher order logics : 10th international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540633792
3540633790
- Dimensions
-
24 cm
- Extent
-
VIII, 337 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 1275
- Keyword
-
HOL
Automatisches Beweisverfahren
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Santa Clara, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
1997
- Contributor
-
Gunter, Elsa L.
TPHOLs (10 : 1997 : Murray Hill, NJ)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
01.11.0010, 1:11 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Gunter, Elsa L.
- TPHOLs (10 : 1997 : Murray Hill, NJ)
- Springer
Time of origin
- 1997
Other Objects (12)
Theorem Proving in Higher Order Logics - Emerging Trends
Theorem proving in higher order logics : 9th international conference ; proceedings
Theorem proving in higher order logics : 15th international conference ; proceedings
Theorem proving in higher order logics : 17th international conference ; proceedings
Theorem proving in higher order logics : 21st international conference ; proceedings
Theorem proving in higher order logics : 16th international conference ; proceedings
Theorem proving in higher order logics : 22nd international conference ; proceedings
Theorem proving in higher order logics : 14th international conference ; proceedings
Theorem proving in higher order logics : 12th international conference ; proceedings
Theorem proving in higher order logics : 13th international conference ; proceedings
Theorem proving in higher order logics : 11th international conference ; proceedings
Differential dynamic logics - automated theorem proving for hybrid systems
Theorem Proving in Higher Order Logics - Emerging Trends
Theorem proving in higher order logics : 9th international conference ; proceedings
Theorem proving in higher order logics : 15th international conference ; proceedings
Theorem proving in higher order logics : 17th international conference ; proceedings
Theorem proving in higher order logics : 21st international conference ; proceedings
Theorem proving in higher order logics : 16th international conference ; proceedings
Theorem proving in higher order logics : 22nd international conference ; proceedings
Theorem proving in higher order logics : 14th international conference ; proceedings
Theorem proving in higher order logics : 12th international conference ; proceedings
Theorem proving in higher order logics : 13th international conference ; proceedings
Theorem proving in higher order logics : 11th international conference ; proceedings
Differential dynamic logics - automated theorem proving for hybrid systems
Theorem Proving in Higher Order Logics - Emerging Trends
Theorem proving in higher order logics : 9th international conference ; proceedings
Theorem proving in higher order logics : 15th international conference ; proceedings
Theorem proving in higher order logics : 17th international conference ; proceedings
Theorem proving in higher order logics : 21st international conference ; proceedings
Theorem proving in higher order logics : 16th international conference ; proceedings
Theorem proving in higher order logics : 22nd international conference ; proceedings
Theorem proving in higher order logics : 14th international conference ; proceedings
Theorem proving in higher order logics : 12th international conference ; proceedings
Theorem proving in higher order logics : 13th international conference ; proceedings
Theorem proving in higher order logics : 11th international conference ; proceedings