Konferenzschrift | Kongress
Logic for programming and automated reasoning : 5th international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540582168
3540582169
9780387582160
0387582169
- Dimensions
-
24 cm
- Extent
-
X, 344 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 822 : Lecture notes in artificial intelligence
- Keyword
-
Logische Programmierung
Automatisches Beweisverfahren
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (who)
-
Springer
- (when)
-
1994
- Contributor
-
Pfenning, Frank
LPAR (5 : 1994 : Kiew)
- 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:43 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
- Pfenning, Frank
- LPAR (5 : 1994 : Kiew)
- Springer
Time of origin
- 1994
Other Objects (12)
Logic for programming and automated reasoning : proceedings
Logic programming and nonmonotonic reasoning : 5th international conference ; proceedings
Reasoning with logic programming
Logic for programming and automated reasoning : 4th international conference ; proceedings
Logic for programming and automated reasoning : 7th international conference ; proceedings
Logic for programming and automated reasoning : 6th international conference ; proceedings
Automated reasoning : 5th international joint conference ; proceedings
Automated reasoning and randomization in separation logic
Programming language implementation and logic programming : 5th international symposium ; proceedings
Extensions of logic programming : 5th international workshop ; proceedings
Functional and logic programming : 5th international symposium ; proceedings
Algebraic and logic programming : 5th international conference ; proceedings
Logic for programming and automated reasoning : proceedings
Logic programming and nonmonotonic reasoning : 5th international conference ; proceedings
Reasoning with logic programming
Logic for programming and automated reasoning : 4th international conference ; proceedings
Logic for programming and automated reasoning : 7th international conference ; proceedings
Logic for programming and automated reasoning : 6th international conference ; proceedings
Automated reasoning : 5th international joint conference ; proceedings
Automated reasoning and randomization in separation logic
Programming language implementation and logic programming : 5th international symposium ; proceedings
Extensions of logic programming : 5th international workshop ; proceedings
Functional and logic programming : 5th international symposium ; proceedings
Algebraic and logic programming : 5th international conference ; proceedings
Logic for programming and automated reasoning : proceedings
Logic programming and nonmonotonic reasoning : 5th international conference ; proceedings
Reasoning with logic programming
Logic for programming and automated reasoning : 4th international conference ; proceedings
Logic for programming and automated reasoning : 7th international conference ; proceedings
Logic for programming and automated reasoning : 6th international conference ; proceedings
Automated reasoning : 5th international joint conference ; proceedings
Automated reasoning and randomization in separation logic
Programming language implementation and logic programming : 5th international symposium ; proceedings
Extensions of logic programming : 5th international workshop ; proceedings
Functional and logic programming : 5th international symposium ; proceedings