Automated Theorem Proving

ISBN
9783528085209
$69.99
Author Bibel, W.
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 1982
  • 292
  • Yes
  • Q334-342QA75.5-76.95