Higher-Order Algebra, Logic, and Term Rewriting
First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Edición de la obra Higher-order algebra, logic, and term rewriting
| Autor | Jan Heering, Karl Meinke, Bernhard Möller |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Mar 12, 2014 |
| Páginas | 362 |
| Formato | paperback |
| ISBN-13 | 9783662189054 |
| ISBN-10 | 3662189054 |
| Número de Cutter | H459h |