Higher Order Logic Theorem Proving and Its Applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings

ISBN
9783540578260
$129.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • 6th
  • 1 vol.
  • 1994
  • x, 526
  • Yes
  • 780
  • QA75.5-76.95