Kaft voor Decision procedures for equality logic with uninterpreted functions door O. Tveretina

Decision procedures for equality logic with uninterpreted functions door O. Tveretina

Inloggen / Meedoen

Meest gelezen

Haar naam was Sarah
De Da Vinci code
Komt een vrouw bij de dokter..
Het Achterhuis
Mannen die vrouwen haten..

Alle toplijsten »

Ideeënbus

© Boeklezers.nl