Higher order algebra, logic, and term rewriting: selected papers
Berlin [u.a.]: Springer, 1996
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- 287 S. : Ill.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Higher order algebra, logic, and term rewriting: selected papers
|
---|---|
Verantwortlichkeitsangabe: | Second International Workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995. Gilles Dowek ... (ed.) |
Autor/in / Beteiligte Person: | Dowek, Gilles (1966-) |
Körperschaft: | HOA |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 1996 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | 287 S. : Ill. |
ISBN: | 3540612548 kart. : DM 62.00 |
Schlagwort: |
|
Sonstiges: |
|