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
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 »
