Michael Rusinowitch

M. R. · Michael R.

Springer Berlin Heidelberg

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings978-3-540-22345-0
(3-540-22345-2)
2008David Basin
Rewriting Techniques and Applications: 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings: International Conference, ... 10th978-3-540-66201-3
(3-540-66201-4)
1999Paliath Narendran

Michael Russ