Tobias Nipkow (ed.) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?

REWRITING TECHNIQUES AND APPLICATIONS : 9TH INTERNATIONAL CONFERENCE, RTA-98, TSUKUBA, JAPAN, MARCH 30 - APRIL 1, 1998, PROCEEDI

Tekijä: Tobias Nipkow (ed.)
Kustantaja: Springer (1998)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

TYPES FOR PROOFS AND PROGRAMS : INTERNATIONAL WORKSHOP TYPES '93, NIJMEGEN, THE NETHERLANDS, MAY 24 - 28, 1993. SELECTED PAPERS

Tekijä: Henk Barendregt (ed.); Tobias Nipkow (ed.)
Kustantaja: Springer (1994)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

HIGHER-ORDER ALGEBRA, LOGIC, AND TERM REWRITING : FIRST INTERNATIONAL WORKSHOP, HOA '93, AMSTERDAM, THE NETHERLANDS, SEPTEMBER 2

Tekijä: Jan Heering (ed.); Karl Meinke (ed.); Bernhard Möller (ed.); Tobias Nipkow (ed.)
Kustantaja: Springer (1994)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedi

Tobias Nipkow (ed.)

49,60 €

Springer
Sivumäärä: 346 sivua
Asu: Pehmeäkantinen kirja
Painos: 1998
Julkaisuvuosi: 1998, 11.03.1998 (lisätietoa)
Kieli: Englanti

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee with the assistance of 113 additional referees. The book covers all current aspects of rewriting including rewriting systems, term rewriting, string rewriting, theorem proving, resolution, normalization, unification, equational logics, lambda calculus, constraint solving, and functional programming.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus