Term rewriting and all that / Franz Baader,... and Tobias Nipkow,...

Date : 1998

Editeur / Publisher : Cambridge : Cambridge University Press , 1998

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-521-45520-0

ISBN : 978-0-521-45520-6

ISBN : 0-521-77920-0

ISBN : 978-0-521-77920-3

EAN : 9780521779203

Réécriture, Systèmes de (informatique)

Mathématiques -- Informatique

Classification Dewey : 005.13/1

Baader, Franz (19..-....) (Auteur / author)

Nipkow, Tobias (1958-...) (Auteur / author)

Relation : Term rewriting and all that / Franz Baader,... and Tobias Nipkow,... / Cambridge : Cambridge University Press , 2012