FR
Calcul en logique du premier ordre
Printed book - Bouchard Yves, 2015
Cet ouvrage constitue une introduction à deux outils de calcul logique du premier ordre, soit le calcul en arbres de consistance et le calcul en déduction naturelle. De...
Encyclopédie des sciences mathématiques pures et appliquées... . Tome IV . Sixième volume . Balistique, hydraulique
Printed book - Molk Jules, Appell Paul, 1993
L'art du pique nique
Printed book - Darblay Jeanne-Marie, Beaurepaire Caroline Mame de, Magis Jean-Jacques, 1994
Les Aides didactiques pour la culture et la formation scientifiques et techniques : Actes des 11èmes jour.inter.sur l'éd.scien.,Chamonix,24,25,26janv.89
Printed book - Journées internationales sur l'éducation scientifique, 1989
Les écrits de Budapest
Printed book - Ferenczi Sandor, Granoff Wladimir, Lorin Claude, Kurcz Györgyi, 1994
Carl Gustav Jung : sa vie, son oeuvre, son rayonnement
Printed book - Wehr Gerhard, Jung Carl Gustav, Taffin-Jouhaud Dominique, Blondel Martine, 1993
