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

ISBN
9783540556022
$179.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 1992
  • xvi, 800
  • Yes
  • 607
  • QA75.5-76.95