Automated Deduction: Cade-12 : 12th International Conference on Automated Deduction, Nancy, France, June-July 1994

ISBN
9783540581567
$99.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 1994
  • xvi, 852
  • Yes
  • 814
  • QA75.5-76.95