Home / Authors / M. E. Stickel,

Books by M. E. Stickel,

All books by this author

1 books found
10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings (Lecture Notes in Computer Science 449)
10th International Conference on Automated Deduction: Kaise…
By: M. E. Stickel,
View Details