- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
IFIG Research Report ; 9803 / 1998
- Event
-
Veröffentlichung
- (where)
-
Gießen
- (who)
-
Universitätsbibliothek
- (when)
-
1998
- Creator
- URN
-
urn:nbn:de:hebis:26-opus-285
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:01 AM 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
- Eiter, Thomas
- Ibaraki, Toshihide
- Makino, Kazuhisa
- Universitätsbibliothek
Time of origin
- 1998
Other Objects (12)
Computing in Horn dause theories
Reasoning in combinations of theories
Intersections : Sonata for horn and piano
Soft computing in case based reasoning
Reasoning about theories with a finite model
Computing Boundaries for Reasoning in Sub-Ontologies
An Algorithmic Approach for Computing Unions and Intersections Between Fuzzy Multisets
On strategic reasoning and theories of rational behavior
Efficient reasoning procedures for complex first-order theories
Advanced intelligent computing theories and applications : proceedings
Advanced intelligent computing theories and applications : proceedings
Intelligent computing theories : 9th international conference ; proceedings
Computing in Horn dause theories
Reasoning in combinations of theories
Intersections : Sonata for horn and piano
Soft computing in case based reasoning
Reasoning about theories with a finite model
Computing Boundaries for Reasoning in Sub-Ontologies
An Algorithmic Approach for Computing Unions and Intersections Between Fuzzy Multisets
On strategic reasoning and theories of rational behavior
Efficient reasoning procedures for complex first-order theories
Advanced intelligent computing theories and applications : proceedings
Advanced intelligent computing theories and applications : proceedings
Intelligent computing theories : 9th international conference ; proceedings
Computing in Horn dause theories
Reasoning in combinations of theories
Intersections : Sonata for horn and piano
Soft computing in case based reasoning
Reasoning about theories with a finite model
Computing Boundaries for Reasoning in Sub-Ontologies
An Algorithmic Approach for Computing Unions and Intersections Between Fuzzy Multisets
On strategic reasoning and theories of rational behavior
Efficient reasoning procedures for complex first-order theories
Advanced intelligent computing theories and applications : proceedings
Advanced intelligent computing theories and applications : proceedings