- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540655091
3540655093
- Dimensions
-
24 cm
- Extent
-
IX, 283 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturverz. S. 269 - 283
- Bibliographic citation
-
Lecture notes in computer science ; 1527 : Lecture notes in artificial intelligence
- Keyword
-
Automatisches Beweisverfahren
Konnektionsmethode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
1998
- 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.06.2025, 2:14 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.
Associated
- Baumgartner, Peter
- Springer
Time of origin
- 1998
Other Objects (12)
Connection tableau calculi with disjunctive constraints
Connection tableau calculi with disjunctive constraints
Relevancy based use lemmas in connection tableau calculi
Observational calculi and association rules
Successful case based reasoning applications, 2
Successful case based reasoning applications, 1
Developing industrial case based reasoning applications, Buch.
Diagrammatic representation and reasoning
Existence families : functional calculi and evolution equations
The limits of mathematics : a course on information theory and the limits of formal reasoning
Foundations of computational intelligence, Vol. 2.. Approximate reasoning
Practical reasoning : proceedings
Connection tableau calculi with disjunctive constraints
Connection tableau calculi with disjunctive constraints
Relevancy based use lemmas in connection tableau calculi
Observational calculi and association rules
Successful case based reasoning applications, 2
Successful case based reasoning applications, 1
Developing industrial case based reasoning applications, Buch.
Diagrammatic representation and reasoning
Existence families : functional calculi and evolution equations
The limits of mathematics : a course on information theory and the limits of formal reasoning
Foundations of computational intelligence, Vol. 2.. Approximate reasoning
Practical reasoning : proceedings
Connection tableau calculi with disjunctive constraints
Connection tableau calculi with disjunctive constraints
Relevancy based use lemmas in connection tableau calculi
Observational calculi and association rules
Successful case based reasoning applications, 2
Successful case based reasoning applications, 1
Developing industrial case based reasoning applications, Buch.
Diagrammatic representation and reasoning
Existence families : functional calculi and evolution equations
The limits of mathematics : a course on information theory and the limits of formal reasoning
Foundations of computational intelligence, Vol. 2.. Approximate reasoning