Welkom op Boeklezers.nl
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Boeken
Automated Deduction In Geometry
Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998, Proceedings »
Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998, Proceedings »
Mathematics Mechanization and Applications
This is a uniform presentation of major developments, carried out mostly in Chinese research groups, on algorithms and software tools for mechanizing algebra... »
This is a uniform presentation of major developments, carried out mostly in Chinese research groups, on algorithms and software tools for mechanizing algebra... »
Ideeënbus
