Informatique et Sciences du Numérique - Spécialité ISN en Terminale S
Data and Resources
Additional Info
| Field | Value |
|---|---|
| Source | https://inria.hal.science/hal-00765220 |
| Author | Dowek, Gilles, Archambault, Jean-Pierre, Baccelli, Emmanuel, Cimellli, Claudio, Cohen, Albert, Eisenbeis, Christine, Viéville, Thierry, Wack, Benjamin |
| Maintainer | CCSD |
| Last Updated | May 31, 2026, 02:07 (UTC) |
| Created | May 31, 2026, 02:07 (UTC) |
| Identifier | ISBN: 978-2-212-13543-5 |
| Language | fr |
| contributor | Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM) ; Inria Paris-Rocquencourt ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria) |
| creator | Dowek, Gilles |
| date | 2012-08-27T00:00:00 |
| harvest_object_id | 4fcf8a25-802a-4b03-ad3c-9f7e047119dd |
| harvest_source_id | 3374d638-d20b-4672-ba96-a23232d55657 |
| harvest_source_title | test moissonnage SELUNE |
| metadata_modified | 2025-11-23T00:00:00 |
| set_spec | type:OUV |