|
|
1.
|
Logique : fondements et applications [ Livre] / Pierre, Le Barbenchon / Sophie, Pinchinat / François, Schwarzentruber Publication : Paris : Dunod, 2022Description : 1 vol. (286 p.) ;
24 cmDisponibilité : Exemplaires empruntables: [004.16 LEB] (5). Exemplaires en consultation sur place:[004.16 LEB] (1).
|
|
|
2.
|
|
|
|
3.
|
Logique pour l'informatique / Mathieu, Jaume / Matthieu, Journault / Marie-Jeanne, Lesot ; Christophe, Raffalli (préface de) [ Livre] Publication : Paris : Ellipses, 2020Description : 1 vol. (VI-331 p.) ;
24 cmDisponibilité : Exemplaires empruntables: [004.16 JAU] (3).
|
|
|
4.
|
|
|
|
5.
|
Computational Thinking [ Livre] / Peter J. Denning Publication : The MIT Press, 2019, CambridgeDescription : 264 pagesDisponibilité : Exemplaires empruntables: [004.1 DEN] (1).
|
|
|
6.
|
Reinforcement learning : an introduction / Richard S., Sutton / Andrew G., Barto [ Livre] Publication : Cambridge, Massachusetts, London, England : The MIT Press, 2018Description : 1 vol. (XXII-526 p.) ;
24 cmDisponibilité :
Pas d'exemplaire disponible En prêt (1).
|
|
|
7.
|
La logique, pas à pas [ Livre] / Jacques, Duparc Publication : Lausanne : Presses polytechniques et universitaires romandes, 2015Description : 1 vol. (570 p.) ;
24 cmDisponibilité : Exemplaires empruntables: [004.16 DUP] (2).
|
|
|
8.
|
|
|
|
9.
|
Concrete Semantics : With Isabelle/Hol [ Livre] / Tobias, Nipkow / Gerwin, Klein Publication : Springer International Publishing AG, 2014Description : 298 pagesDisponibilité : Exemplaires empruntables: [004.14 NIP] (2).
|
|
|
10.
|
|
|
|
11.
|
General game playing [ Livre] / Michael, Genesereth / Michael, Thielscher Publication : Morgan & Claypool Publishers, 2014Description : IX-213 pagesDisponibilité : Exemplaires empruntables: [005.10 GEN] (2).
|
|
|
12.
|
|
|
|
13.
|
Introduction to the theory of computation [ Livre] / Michael, Sipser Publication : Boston (Mass.) : Cengage learning, 2013Description : 1 vol. (XXII-458 p.) ;
24 cmDisponibilité : Exemplaires empruntables: [004.1 SIP] (1). En prêt (1).
|
|
|
14.
|
Mathematical logic for computer science [ Livre] / Mordechai, Ben-Ari Publication : Paris : Springer, 2012Description : 1 vol. (XV-346 p.) ;
24 cmDisponibilité : Exemplaires empruntables: [004.16 BEN] (2).
|
|
|
15.
|
|
|
|
16.
|
|
|
|
17.
|
Theory of Computation [ Livre] / Dexter C., Kozen Publication : London : Springer London Ltd, 2010Description : 418 pagesDisponibilité :
Pas d'exemplaire disponible En prêt (1).
|
|
|
18.
|
|
|
|
19.
|
Modal logic for open minds [ Livre] / Johan, Van Benthem Publication : Stanford, Calif. : Center for the Study of Language and Information, 2010Description : 1 vol. (XI-381 p.) ;
24 cmDisponibilité : Exemplaires empruntables: [004.16 BEN] (1).
|
|
|
20.
|
|