More About the Author
Robert Stephen Boyer, aka Bob Boyer, is a retired professor of computer science, mathematics, and philosophy at The University of Texas at Austin.
Review and Comments
Rate the Book
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings 0 out of 5 stars based on 0 ratings.