Home
Leden
Boeken
Auteurs
Clubs
Naam ontvanger
E-mail ontvanger
Bericht
Hoi, Ik wilde je even wijzen op het boek: Decision procedures for equality logic with uninterpreted functions door O. Tveretina. http://www.boeklezers.be/boeken/Decision+procedures+for+equality+logic+with+uninterpreted+functions/9789038606248 Groeten,
Inloggen /
Meedoen
Vergeten?
Populaire auteurs
Saskia Noort
Esther Verhoef
Tess Gerritsen
Loes den Hollander
Nicci French
Populaire auteurs »
Ideeënbus
Help mee Boeklezers.nl te verbeteren, laat hier je goede idee achter! (Kunnen alleen de beheerders lezen)
