Bridges from classical to nonmonotonic logic
Printed book - Makinson David, cop. 2005
L'ouvrage d'introduction au raisonnement non-monotone., The text shows that there are logics that act as natural bridges between classical consequence and the principal...
Grigori Perelman face à la conjecture de Poincaré
Printed book - O'Shea Donal, Randon-Furling Julien, DL 2007
C'est toute l'épopée de cette conjecture, formulée par Poincaré en 1904, que retrace ce livre, depuis Euclide jusqu'au triomphe de Grigory Perelman récompensée le...
Chimie : comprendre la chimie organique : nomenclature, hydrocarbures, dérivés halogénés, alcools : résumés de cours et exercices corrigés
Printed book - Lassalle Alain, Robert Didier, cop. 2001
Aux sources de la propriété industrielle : guide des archives de l'INPI
Printed book - Emptoz Gérard, Marchal Valérie, Hangard Daniel, Institut national de la propriété industrielle, 2002