Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, Tübingen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Schlagwort
-
Logik ; Semantik ; Hypothese ; Beweis ; Beweistheorie
- Ereignis
-
Veröffentlichung
- (wo)
-
Tübingen
- (wer)
-
Universitätsbibliothek Tübingen
- (wann)
-
2015
- Urheber
-
Piecha, Thomas
Schroeder-Heister, Peter
- URN
-
urn:nbn:de:bsz:21-dspace-589919
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:19 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
- Piecha, Thomas
- Schroeder-Heister, Peter
- Universitätsbibliothek Tübingen
Entstanden
- 2015
Ähnliche Objekte (12)
Hypothetical Reasoning via Provenance Abstraction
Epistemic Modals in Hypothetical Reasoning
Automated reasoning : second international joint conference ; proceedings
Automated reasoning : 4th international joint conference ; proceedings
Automated reasoning : 5th international joint conference ; proceedings
Automated reasoning : 6th international joint conference ; proceedings
Automated reasoning : first international joint conference ; proceedings
Automated reasoning : third international joint conference ; proceedings
Logic programming and nonmonotonic reasoning : 11th international conference ; proceedings
Advanced in case based reasoning : 7th European conference : proceedings
Logic programming and nonmonotonic reasoning : third international conference ; proceedings
Web reasoning and rule systems : 7th international conference ; proceedings
Hypothetical Reasoning via Provenance Abstraction
Epistemic Modals in Hypothetical Reasoning
Automated reasoning : second international joint conference ; proceedings
Automated reasoning : 4th international joint conference ; proceedings
Automated reasoning : 5th international joint conference ; proceedings
Automated reasoning : 6th international joint conference ; proceedings
Automated reasoning : first international joint conference ; proceedings
Automated reasoning : third international joint conference ; proceedings
Logic programming and nonmonotonic reasoning : 11th international conference ; proceedings
Advanced in case based reasoning : 7th European conference : proceedings
Logic programming and nonmonotonic reasoning : third international conference ; proceedings
Web reasoning and rule systems : 7th international conference ; proceedings
Hypothetical Reasoning via Provenance Abstraction
Epistemic Modals in Hypothetical Reasoning
Automated reasoning : second international joint conference ; proceedings
Automated reasoning : 4th international joint conference ; proceedings
Automated reasoning : 5th international joint conference ; proceedings
Automated reasoning : 6th international joint conference ; proceedings
Automated reasoning : first international joint conference ; proceedings
Automated reasoning : third international joint conference ; proceedings
Logic programming and nonmonotonic reasoning : 11th international conference ; proceedings
Advanced in case based reasoning : 7th European conference : proceedings
Logic programming and nonmonotonic reasoning : third international conference ; proceedings