Home
Leden
Boeken
Auteurs
Clubs
Naam ontvanger
E-mail ontvanger
Bericht
Hoi, Ik wilde je even wijzen op het boek: Automatically proving termination and innermost normalisation of term rewriting systems door T.H.J.J. Arts. http://www.boeklezers.nl/boeken/Automatically+proving+termination+and+innermost+normalisation+of+term+rewriting+systems/9789039314098 Groeten,
Inloggen /
Meedoen
Vergeten?
Verjaardagen
Gea Huls
Marga Boersma
Cherie VG
Johan Vernooij
Ideeënbus
Help mee Boeklezers.nl te verbeteren, laat hier je goede idee achter! (Kunnen alleen de beheerders lezen)
