@cschon

Automated Reasoning in the Wild

, , and . Automated Deduction - CADE-25, volume 9195 of Lecture Notes in Computer Science, Springer International Publishing, (2015)

Links and resources

DOI:
10.1007/978-3-319-21401-6_3
URL:
BibTeX key:
Furbach:2015uq
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication