Automated Reasoning with Analytic Tableaux and Related Methods

MLA

Anupam Das, and Sara Negri. Automated Reasoning with Analytic Tableaux and Related Methods. Springer International Publishing, 2021.

APA

Anupam Das, A. Das, & Negri, S. (2021). Automated Reasoning with Analytic Tableaux and Related Methods. Springer International Publishing.

Chicago

Anupam Das, and Sara Negri. Automated Reasoning with Analytic Tableaux and Related Methods. : Springer International Publishing, 2021.