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