Computational Aspects of an Order-Sorted Logic with Term Declarations

ISBN
9783540517054
$49.99
Author Schmidt-Schau¯, Manfred
Format Perfect
Details
  • 9.3" x 6.1" x 0.2"
  • Active Record
  • Individual Title
  • 1 vol.
  • 1989
  • x, 174
  • Yes
  • 395
  • QA75.5-76.95