Book title Buchtitel
Computer Science Logic
 
Publisher Verlag
Springer Verlag
 
DOI
10.1007/978-3-642-04027-6
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ciabattoni, Agata ; Straßburger, Lutz ; Terui, Kazushige Expanding the realm of systematic proof theoryKonferenzbeitrag Inproceedings 2009
2Baaz, Matthias Note on formal analogical reasoning in the juridical contextKonferenzbeitrag Inproceedings 2005
3Baaz, Matthias ; Fermüller, Christian A resolution mechanism for Prenex Gödel logicKonferenzbeitrag Inproceedings 2010