10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science (449), Band 449)

International

von Mark E. Stickel

Taschenbuch

ISBN-13: 978-3-540-52885-2

ISBN-10: 3-540-52885-7

Springer Berlin Heidelberg · 2008
Siehe auch (möglicherweise von anderen Autoren):
1990Paperback10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings (Lecture Notes in Computer Science 449)