Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Jamnik, Mateja (1973-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Mathematical reasoning with diagrams [Texte imprimé] : from intuition to automation / Mateja Jamnik

Publication : Stanford (Calif.) : CSLI, cop. 2001

Description matérielle : XII-204 p. : ill. ; 24 cm

Collection : CSLI lecture notes ; 127

Lien à la collection : CSLI lecture notes  Voir toutes les notices liées

Note(s) : Bibliogr. p. 190-198. Index
Diss. Ph. D. : University of Edinburgh : 1999

Sujet(s) : Mathématiques -- Méthodes graphiques  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet
Théorèmes -- Démonstration automatique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  511.5 (23e éd.) = Théorie des graphes (mathématiques)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 1-57586-324-3 (br.). - ISBN 1-57586-323-5 (rel.)

Identifiant de la notice  : ark:/12148/cb39020497b

Notice n° :  FRBNF39020497 (notice reprise d'un réservoir extérieur)