Read Online 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)) Epub
Add Comment
1993. Selected Papers (Lecture Notes in Computer Science (816)),
Amsterdam,
and Term Rewriting: First International Workshop,
Higher-Order Algebra,
HOA '93,
Logic,
September 23 - 24,
The Netherlands
Edit
Read Online Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, Septemb...
Read More
