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... »
Automated Deduction In Geometry
International Workshop On Automated Deduction In Geometry, Toulouse, France, September 27-29, 1996 »
International Workshop On Automated Deduction In Geometry, Toulouse, France, September 27-29, 1996 »
Differential Equations with Symbolic Computations
Differential Equations with Symbolic Computation »
Differential Equations with Symbolic Computation »
Ideeënbus
