Proceedings of the Conference on Hypothetical Reasoning, 23 - 24 August 2015, Tübingen

Saved in:  
Bibliographic Details
Corporate Author: Conference on Hypothetical Reasoning 2014, Tübingen (Other)
Contributors: Piecha, Thomas (Editor) ; Schroeder-Heister, Peter 1953- (Editor)
Format: Electronic Book
Language:English
Check availability: HBZ Gateway
WorldCat: WorldCat
Fernleihe:Fernleihe für die Fachinformationsdienste
Published: Tübingen Universitätsbibliothek Tübingen 2015
In:Year: 2015
Further subjects:B Semantics
B Proof
B Proof theory
B Logic
B Hypothesis
B Conference program
Online Access: Volltext (kostenfrei)