Contents
Academic literature on the topic 'Tableau Method'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Tableau Method.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Books on the topic "Tableau Method"
D’Agostino, Marcello, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, eds. Handbook of Tableau Methods. Springer Netherlands, 1999. http://dx.doi.org/10.1007/978-94-017-1754-0.
Full textDas, Anupam, and Sara Negri, eds. Automated Reasoning with Analytic Tableaux and Related Methods. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-86059-2.
Full textBrünnler, Kai, and George Metcalfe, eds. Automated Reasoning with Analytic Tableaux and Related Methods. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22119-4.
Full textSchmidt, Renate A., and Cláudia Nalon, eds. Automated Reasoning with Analytic Tableaux and Related Methods. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66902-1.
Full textOlivetti, Nicola, ed. Automated Reasoning with Analytic Tableaux and Related Methods. Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-73099-6.
Full textGalmiche, Didier, ed. Automated Reasoning with Analytic Tableaux and Related Methods. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0027400.
Full textGalmiche, Didier, and Dominique Larchey-Wendling, eds. Automated Reasoning with Analytic Tableaux and Related Methods. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40537-2.
Full text