Instantiation Theory : On the Foundations of Automated Deduction

ISBN
9783540543336
$89.99
Author Williams, J. G.
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 1991
  • viii, 136
  • Yes
  • 518
  • QA75.5-76.95