- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540613138
3540613137
- Dimensions
-
24 cm
- Extent
-
XV, 719 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 1085 : Lecture notes in artificial intelligence
- Keyword
-
Logischer Schluss
Künstliche Intelligenz
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Santa Clara, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
1996
- 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.03.2025, 11:42 AM 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
- Gabbay, Dov M.
- International Conference on Formal and Applied Practical Reasoning (1996 : Bonn)
- Springer
Time of origin
- 1996
Other Objects (12)
Qualitative and quantitative practical reasoning : proceedings
Automated reasoning : third international joint conference ; proceedings
Case based reasoning research and development : proceedings
Automated reasoning : second international joint conference ; proceedings
Automated reasoning : 4th international joint conference ; proceedings
Case-based reasoning research and development : proceedings
Case-based reasoning research and development : proceedings
Case based reasoning research and development : proceedings
Automated reasoning : 5th international joint conference ; proceedings
Case based reasoning research and development : proceedings
Logic for programming and automated reasoning : proceedings
Conceptual structures: knowledge visualization and reasoning : proceedings
Qualitative and quantitative practical reasoning : proceedings
Automated reasoning : third international joint conference ; proceedings
Case based reasoning research and development : proceedings
Automated reasoning : second international joint conference ; proceedings
Automated reasoning : 4th international joint conference ; proceedings
Case-based reasoning research and development : proceedings
Case-based reasoning research and development : proceedings
Case based reasoning research and development : proceedings
Automated reasoning : 5th international joint conference ; proceedings
Case based reasoning research and development : proceedings
Logic for programming and automated reasoning : proceedings
Conceptual structures: knowledge visualization and reasoning : proceedings
Qualitative and quantitative practical reasoning : proceedings
Automated reasoning : third international joint conference ; proceedings
Case based reasoning research and development : proceedings
Automated reasoning : second international joint conference ; proceedings
Automated reasoning : 4th international joint conference ; proceedings
Case-based reasoning research and development : proceedings
Case-based reasoning research and development : proceedings
Case based reasoning research and development : proceedings
Automated reasoning : 5th international joint conference ; proceedings
Case based reasoning research and development : proceedings
Logic for programming and automated reasoning : proceedings