Languages
Metcalfe, George.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Automated reasoning with analytic tableaux and related methods = 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Metcalfe, George.; SpringerLink (Online service); Brunnler, Kai.
(Electronic resources)