Higher order algebra, logic, and term rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 1993 : selected papers /
Saved in:
| Meeting name: | International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1st : 1993 : Amsterdam, Netherlands) |
|---|---|
| Imprint: | Berlin ; New York : Springer-Verlag, c1994. |
| Description: | 344 p. : ill. ; 24 cm. |
| Language: | English |
| Series: | Lecture notes in computer science 816 |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/1668466 |
Mansueto
| Call Number: |
QA267.I57850 1993
|
|---|---|
| c.1 | Available Loan period: standard loan Request from Mansueto Scan and Deliver Need help? - Ask a Librarian |
