- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540564485
3540564489
9780387564487
0387564489
- Dimensions
-
24 cm
- Extent
-
XII, 417 S.
- Language
-
Deutsch
- Notes
-
Literaturverz. S. 405 - 410
- Keyword
-
Nichtmonotone Logik
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (who)
-
Springer
- (when)
-
1993
- Creator
- 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, 3:34 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.
Associated
- Marek, Victor W.
- Truszczyński, Mirosław
- Springer
Time of origin
- 1993
Other Objects (12)
Reasoning with logic programming
Automation of reasoning, 2.. Classical papers on computational logic 1967 - 1970
Automation of reasoning, 1.. Classical papers on computational logic 1957 - 1966
Logic for programming and automated reasoning : proceedings
Knowledge representation and reasoning under uncertainty : logic at work
Vivid logic : knowledge based reasoning with two kinds of negation
Logic programming and nonmonotonic reasoning : 4th international conference ; proceedings
Logic programming and nonmonotonic reasoning : 8th international conference ; proceedings
Logic programming and nonmonotonic reasoning : 6th international conference ; proceedings
Logic programming and nonmonotonic reasoning : 10th international conference ; proceedings
Logic programming and nonmonotonic reasoning : 5th international conference ; proceedings
Logic programming and nonmonotonic reasoning : third international conference ; proceedings
Reasoning with logic programming
Automation of reasoning, 2.. Classical papers on computational logic 1967 - 1970
Automation of reasoning, 1.. Classical papers on computational logic 1957 - 1966
Logic for programming and automated reasoning : proceedings
Knowledge representation and reasoning under uncertainty : logic at work
Vivid logic : knowledge based reasoning with two kinds of negation
Logic programming and nonmonotonic reasoning : 4th international conference ; proceedings
Logic programming and nonmonotonic reasoning : 8th international conference ; proceedings
Logic programming and nonmonotonic reasoning : 6th international conference ; proceedings
Logic programming and nonmonotonic reasoning : 10th international conference ; proceedings
Logic programming and nonmonotonic reasoning : 5th international conference ; proceedings
Logic programming and nonmonotonic reasoning : third international conference ; proceedings
Reasoning with logic programming
Automation of reasoning, 2.. Classical papers on computational logic 1967 - 1970
Automation of reasoning, 1.. Classical papers on computational logic 1957 - 1966
Logic for programming and automated reasoning : proceedings
Knowledge representation and reasoning under uncertainty : logic at work
Vivid logic : knowledge based reasoning with two kinds of negation
Logic programming and nonmonotonic reasoning : 4th international conference ; proceedings
Logic programming and nonmonotonic reasoning : 8th international conference ; proceedings
Logic programming and nonmonotonic reasoning : 6th international conference ; proceedings
Logic programming and nonmonotonic reasoning : 10th international conference ; proceedings
Logic programming and nonmonotonic reasoning : 5th international conference ; proceedings