Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings
 
Editor Herausgeber_in
 
Publisher Verlag
Springer
 
Place of publishing Erscheinungsort
LNCS 10501
 
DOI
10.1007/978-3-319-66902-1
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen


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

PreviewAuthor(s)TitleTypeIssue Date
1Fermüller, Christian G. ; Lang, Timo Interpreting Sequent Calculi as Client-Server GamesKonferenzbeitrag Inproceedings 2017
2Lellmann, Björn VINTE: An Implementation of Internal Calculi for Lewis’ Logics of Counterfactual ReasoningKonferenzbeitrag Inproceedings 2017