| title | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers | 978-3-540-61254-4 | 1996 | Jan Heering · Karl Meinke · Möller, Bernhard |
| Introduction à la théorie des langages de programmation | 978-2-7302-1333-2 | 2006 | Jean-Jacques Lévy |
| Jeux mathématiques et vice versa | 978-2-7465-0243-7 | 2005 | Jean-Pierre Bourguignon · Jean-Christophe Novelli · Benoît Rittaud |
| Les Métamorphoses du calcul: Une étonnante histoire des mathématiques | 978-2-7465-0324-3 | 2007 |
| Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings | 978-3-540-66463-5 | 1999 | Yves Bertot · Andre Hirschowitz · Christine Paulin · Laurent Thery |
| Thesaurus der exakten Wissenschaften: Astrophysik, Biologie, Biochemie, Chemie, Genetik, Geowissenschaften, Mathematik, Physik | 978-3-86150-620-1 | 2004 | Charles Auffray · Jean G Ganscia · Christian Houzel · Albert Jacquard · Étienne Klein · Pierre Laszlo · Pierre Léna |
| Voulez-vous jouer avec les maths? | 978-2-7465-0052-5 | 2002 |