Extending the E-Hyper Tableau Calculus for Reasoning with the Unique Name Assumption (Englisch)
Freier Zugriff
- Neue Suche nach: Bender, Markus
- Neue Suche nach: Bender, Markus
2012
- Hochschulschrift / Elektronische Ressource
-
Titel:Extending the E-Hyper Tableau Calculus for Reasoning with the Unique Name Assumption
-
Beteiligte:Bender, Markus ( Autor:in )
-
Erscheinungsdatum:30.01.2012
-
Medientyp:Hochschulschrift
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 004 / 801
- Weitere Informationen zu Dewey Decimal Classification
-
Schlagwörter:
-
Klassifikation:
-
Lizenzbestimmungen:
-
Datenquelle: