Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers - Lecture Notes in Computer Science 816 (Paperback)J. Heering (editor), K. Meinke (editor), Bernhard Moller (editor), Tobias Nipkow (editor)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 351
Weight: 1130 g
Dimensions: 229 x 152 x 19 mm
Edition: 1994 ed.
You may also be interested in...
Please sign in to write a review