 |
|
|
|
| Detailed view | PhD thesis |
|
|
| Université Joseph-Fourier - Grenoble I (19/10/1966), Jean Kuntzmann (Dir.) |
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| Utilisation de l'algèbre de Boole en logique mathématique |
|
|
| Mireille Dupraz1 |
|
|
|
| . |
|
|
|
|
|
|
|
|
|
| 1: | IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble |
|
|
|
|
|
|
|
| Boole – algèbre de Boole – démonstration automatique – logique |
| . |
| tel-00280187, version 1 | |
| http://tel.archives-ouvertes.fr/tel-00280187 | |
| oai:tel.archives-ouvertes.fr:tel-00280187 | |
| From: Thèses Imag | |
| Submitted on: Friday, 16 May 2008 14:54:17 | |
| Updated on: Friday, 16 May 2008 14:56:42 | |
