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. ...
Encyclopédie des sciences mathématiques pures et appliquées... . Tome IV . Sixième volume . Balistique, hydraulique
Printed book - Molk Jules, Appell Paul, 1993
Le grand livre de la lettre de motivation
Printed book - Ras Patrice, impr. 2013
Tout ce que vous devriez savoir sur la science
Printed book - Collins Harry M., Pinch Trevor J., Piélat Thierry, DL 1994, cop. 1994
L'art du pique nique
Printed book - Darblay Jeanne-Marie, Beaurepaire Caroline Mame de, Magis Jean-Jacques, 1994
The gas station in America
Printed book - Jakle John A., Sculle Keith A., c1994
