Term Rewriting and All That

Baader, Franz (Rheinisch-Westfalische Technische Hochschule, Nipkow, Tobias (Technische Universitat Munchen)

Omschrijving

This is a unified and self-contained introduction to term rewriting that can be used for advanced undergraduate courses or as a professional reference. The main algorithms are presented both informally and as ML programs. Many examples and over 170 exercises are provided.
Gratis verzending vanaf
€ 19,95 binnen Nederland
Schrijver
Baader, Franz (Rheinisch-Westfalische Technische Hochschule, Nipkow, Tobias (Technische Universitat Munchen)
Titel
Term Rewriting and All That
Uitgever
Cambridge University Press
Jaar
1999
Taal
Engels
Pagina's
316
Gewicht
522 gr
EAN
9780521779203
Afmetingen
241 x 170 x 18 mm
Bindwijze
Paperback

U ontvangt bij ons altijd de laatste druk!


Rubrieken

Boekstra