Term rewriting and applications: 17th international conference ; proceedings
Berlin [u.a.]: Springer, 2006
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- XIII, 414 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Term rewriting and applications: 17th international conference ; proceedings
|
---|---|
Verantwortlichkeitsangabe: | RTA 2006, Seattle, WA, USA, August 12 - 14, 2006. Frank Pfenning (ed.) |
Autor/in / Beteiligte Person: | Pfenning, Frank |
Körperschaft: | RTA |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 2006 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XIII, 414 S. : graph. Darst. |
ISBN: | 3540368345; 9783540368342 |
Schlagwort: |
|
Sonstiges: |
|