Term Rewriting and Applications (vol. # 4098) : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings / edited by Frank Pfenning
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 4098Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Description: Online-Ressource (XIII, 415 p. Also available online, digital)ISBN:- 9783540368359
- QA8.9-QA10.3
No physical items for this record