Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

ISBN
9783540582335
$109.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 1994
  • ix, 351
  • Yes
  • 816
  • QA75.5-76.95