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
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
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
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
Je vindt dit artikel in
- Categorieën
- Taal
- Engels
- Boek, ebook of luisterboek?
- Boek
- Studieboek of algemeen
- Studieboeken
Kies gewenste uitvoering
Bindwijze
: Paperback
Prijsinformatie en bestellen
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.