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

Afbeeldingen

Artikel vergelijken

  • Engels
  • Paperback
  • 9783540643012
  • 11 maart 1998
  • 346 pagina's
Alle productspecificaties

Samenvatting

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.

Productspecificaties

Inhoud

Taal
en
Bindwijze
Paperback
Oorspronkelijke releasedatum
11 maart 1998
Aantal pagina's
346
Illustraties
Nee

Betrokkenen

Hoofdauteur
t. Nipkow
Tweede Auteur
t. Nipkow
Hoofdredacteur
Tobias Nipkow
Hoofduitgeverij
Springer

Overige kenmerken

Editie
1998 ed.
Extra groot lettertype
Nee
Product breedte
155 mm
Product lengte
235 mm
Studieboek
Nee
Verpakking breedte
155 mm
Verpakking hoogte
19 mm
Verpakking lengte
235 mm
Verpakkingsgewicht
1120 g

EAN

EAN
9783540643012
Nog geen reviews

Kies gewenste uitvoering

Bindwijze : Paperback

Prijsinformatie en bestellen

Niet leverbaar

Ontvang eenmalig een mail of notificatie via de bol app zodra dit artikel weer leverbaar is.

Houd er rekening mee dat het artikel niet altijd weer terug op voorraad komt.

Lijst met gekozen artikelen om te vergelijken

Vergelijk artikelen