Peter Baumgartner
| homepage: | http://users.rsise.anu.edu.au/~baumgart/ |
| search externally: |
 Springer,
|
Lecture:
tutorial
Overview of Automated Reasoning
as author at Summer Schools in Logic and Learning, Canberra 2009, 8381 views |
||||
