Buch
Stuttgart: Wissenschaftliche Verlagsgesellschaft.
Broschiertes Buch
16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
1999.
23. Juni 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10703383,978-3-540-66222-8
Broschiertes Buch
2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
1988.
9. März 1988
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-19027-1
Broschiertes Buch
2. September 2022
Brill Mentis / Brill mentis
Ähnlichkeitssuche: Fact®Finder von OMIKRON