Higher-Order Algebra, Logic, and Term Rewriting
Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
Edición de la obra Higher-order algebra, logic, and term rewriting
| Autor | Gilles Dowek, Jan Heering, Karl Meinke |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Mar 12, 2014 |
| Páginas | 304 |
| Formato | paperback |
| ISBN-13 | 9783662201862 |
| ISBN-10 | 3662201860 |
| Número de Cutter | D746h |