- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540655091
3540655093
- Maße
-
24 cm
- Umfang
-
IX, 283 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturverz. S. 269 - 283
- Erschienen in
-
Lecture notes in computer science ; 1527 : Lecture notes in artificial intelligence
- Schlagwort
-
Automatisches Beweisverfahren
Konnektionsmethode
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
- (wer)
-
Springer
- (wann)
-
1998
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:14 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Baumgartner, Peter
- Springer
Entstanden
- 1998
Ähnliche Objekte (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