Your search returned 2 results.

Results
		Automated Deduction 's 2013; CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12's 2013;15, 2021, Proceedings by Platzer, Andre Platzer, Andre Sutcliffe, Geoff Sutcliffe, Geoff Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2021 Online resources: Click here to access online Click here to access online Click here to access online Availability: Items available for reference: Directory of Open Access Books: Not For Loan (1). Lists: E-Books from Directory of Open Access Books. Add to cart (remove)
		No cover image available No cover image available Automated Deduction : CADE 28 by Platzer, André Sutcliffe, Geoff Series: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence ; 12699 Material type: Text; Format: print ; Literary form: Dramas Springer Nature 2021 Other title: 28th International Conference on Automated Deduction, Virtual Event, July 12:15, 2021, Proceedings Online resources: Click here to access online Availability: Items available for loan: Directory of Open Access Books (1). Add to cart (remove)

Refine your search