Les démonstrations et les algorithmes / Gilles Dowek

Public ISBD Title : Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité Material Type: printed text Authors: Gilles Dowek, Author Publisher: Palaiseau : les Éd. de l'École polytechnique Publication Date: impr. 2010 Other publisher: 91-Palaiseau : Impr. Centre Poly-média Pagination: 1 vol. (193 p.) Layout: ill., couv. ill. en coul. Size: 25 cm ISBN (or other code): 978-2-7302-1569-5 Price: 18 EUR General note: La 4ème de couv. porte : "Informatique" Bibliogr., 1 p. Index Languages : French (fre) Descriptors: Algorithmes Logique symbolique et mathématique Class number: 511.3 Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité [printed text] / Gilles Dowek, Author . - Palaiseau : les Éd. de l'École polytechnique : 91-Palaiseau : Impr. Centre Poly-média, impr. 2010 . - 1 vol. (193 p.) : ill., couv. ill. en coul. ; 25 cm. ISBN : 978-2-7302-1569-5 : 18 EUR La 4ème de couv. porte : "Informatique" Bibliogr., 1 p. Index Languages : French (fre) Descriptors: Algorithmes Logique symbolique et mathématique Class number: 511.3

Hold

Place a hold on this item

Copies (1)

Barcode	Call number	Media type	Location	Section	Status
9782730215695	511.3 DOW	Livre	RE2SD Library	CS	Available

---

1 (1 - 1 / 1) Per page : 25 50 100 200