- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540571841
3540571841
9780387571843
0387571841
- Dimensions
-
24 cm
- Extent
-
XI, 348 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 713
- Keyword
-
Computational logic
Beweistheorie
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (who)
-
Springer
- (when)
-
1993
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:13 PM CEST
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
- Gottlob, Georg
- Kurt Gödel Colloquium (3 : 1993 : Brünn)
- Springer
Time of origin
- 1993
Other Objects (12)
Computational logic and proof theory : proceedings
Computational logic : first international conference ; proceedings
Computational learning theory : proceedings
Computational learning theory : proceedings
Proof theory
Proof theory
Logic and theory of algorithms : proceedings
Proof theory in computer science : international seminar ; proceedings
Logic and proof method of recursion
Computational logic : symposium proceedings Brussels, November 13/14, 1990
Mathematical theory and computational practice : proceedings
Computational logic in multi-agent systems : 11th international workshop ; proceedings
Computational logic and proof theory : proceedings
Computational logic : first international conference ; proceedings
Computational learning theory : proceedings
Computational learning theory : proceedings
Proof theory
Proof theory
Logic and theory of algorithms : proceedings
Proof theory in computer science : international seminar ; proceedings
Logic and proof method of recursion
Computational logic : symposium proceedings Brussels, November 13/14, 1990
Mathematical theory and computational practice : proceedings
Computational logic in multi-agent systems : 11th international workshop ; proceedings
Computational logic and proof theory : proceedings
Computational logic : first international conference ; proceedings
Computational learning theory : proceedings
Computational learning theory : proceedings
Proof theory
Proof theory
Logic and theory of algorithms : proceedings
Proof theory in computer science : international seminar ; proceedings
Logic and proof method of recursion
Computational logic : symposium proceedings Brussels, November 13/14, 1990
Mathematical theory and computational practice : proceedings