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

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.

In de winkelwagen 16 werkdagen Wenslijst Stel een vraag

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!

Term Rewriting and All That

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

Omschrijving

Rubrieken

Rubrieken