Larry Wos (auth.)

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

2013 · ENGLISH · PDF

View details →

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

2013 · ENGLISH · PDF

View details →

Automated Deduction—CADE-11: 11th International Conference on Automated Deduction Saratoga Springs, NY, USA, June 15–18, 1992 Proceedings

1992 · ENGLISH · DJVU

View details →