Peter H. Schmitt
homepage: | http://lfm.iti.uni-karlsruhe.de/pschmitt.php |
search externally: | Google Scholar, Springer, CiteSeer, Microsoft Academic Search, Scirus , DBlife |
Lecture:
tutorial Dynamical Logic as author at Summer Schools in Logic and Learning, Canberra 2009, 7313 views |