skip to main content
Langue :
COVID-19 : bibliothèque fermée. En savoir plus COVID-19 : bibliothèque fermée. En savoir plus Afficher les résultats avec :

Résultats 1 - 10 sur 119  pour Tout le catalogue

résultats 1 2 3 4 5 next page
Filtré par : Fonds: Informatique enseignement supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logique mathématique. Cours et exercices.. 1. calcul propositionnel, algèbres de Boole, calcul des prédicats
Material Type:
Livre
Ajouter au Panier

Logique mathématique. Cours et exercices.. 1. calcul propositionnel, algèbres de Boole, calcul des prédicats

CORI, R ; LASCAR, D

AXIOMES

MASSON, 1993

Disponible(->>)

2
La logique ou L'art de raisonner
Material Type:
Livre
Ajouter au Panier

La logique ou L'art de raisonner

Delmas-Rigoutsos, Yannis (1969-...) ; Lalement, René

Appartient à la collection : Quatre à quatre (Paris), ISSN 1297-8612

[Paris]. Ed. Le Pommier, DL 2000, cop. 2000

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

3
Logique sans peine
Material Type:
Livre
Ajouter au Panier

Logique sans peine

Carroll, Lewis (1832-1898) ; Gattégno, Jean (1935-1994) (Ed.) ; Coumet, Ernest (1933-2003) (Ed.) ; Ernst, Max (1891-1976) (Ill.)

Appartient à la collection : L'Esprit et la main, ISSN 0768-3766

Paris. Hermann, DL 1966

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

4
Logique mathématique. Cours et exercices.. 2. fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
Material Type:
Livre
Ajouter au Panier

Logique mathématique. Cours et exercices.. 2. fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles

CORI, R ; LASCAR, D

AXIOMES

MASSON, 1993

Disponible(->>)

5
Handbook of logic in computer science. 2. Background : computational structures
Material Type:
Livre
Ajouter au Panier

Handbook of logic in computer science. 2. Background : computational structures

Abramsky, Samson (Ed.) ; Gabbay, Dov. M (Dir.) ; Maibaum, T.S.E (Ed.)

Oxford. Clarendon, 1992

Disponible(->>)

6
Introduction à la logique
Material Type:
Livre
Ajouter au Panier

Introduction à la logique

Rivenc, François (1945-...) ; Bouveresse, Jacques (1940-...) (Préf.)

Appartient à la collection : Petite bibliothèque Payot (Paris), 14, ISSN 0480-2012

Paris. Payot, DL 1989, cop. 1989

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

7
Handbook of logic in computer science. 4. Semantic modelling
Material Type:
Livre
Ajouter au Panier

Handbook of logic in computer science. 4. Semantic modelling

Abramsky, Samson (Dir.) ; Gabbay, Dov. M (Ed.) ; Maibaum, T.S.E

Clarendon Press, 1995

Disponible(->>)

8
Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité
Material Type:
Livre
Ajouter au Panier

Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité

Dowek, Gilles (1966-...)

Appartient à la collection : Informatique (Palaiseau)

Palaiseau. Les Editions de l'Ecole polytechnique, DL 2010

Disponible(->>)

9
Lambda-calcul : types et modèles
Material Type:
Livre
Ajouter au Panier

Lambda-calcul : types et modèles

Krivine, Jean-Louis (1939-...)

Appartient à la collection : E.R.I. Etudes et recherches en informatique, ISSN 0763-2770

Paris. Milan. Barcelone [etc.]. Masson, cop.1990

Disponible(->>)

10
Mathematical logic for computer science
Material Type:
Livre
Ajouter au Panier

Mathematical logic for computer science

Ben-Ari, Mordechai (1948-...)

London. Springer, copyright 2001

Disponible(->>)

Résultats 1 - 10 sur 119  pour Tout le catalogue

résultats 1 2 3 4 5 next page

Refine Search Results

Affiner vos résultats

Type de ressource 

  1. Livres  (118)
  2. Thèses ou mémoires  (1)
  3. Autres open sub menu

Localisation 

  1. Descartes  (16)
  2. Descartes - CDR  (5)
  3. Monod  (118)
  4. Autres open sub menu

Sujet 

  1. Logique mathématique  (93)
  2. Logic, Symbolic and mathematical  (36)
  3. Décidabilité (logique mathématique)  (16)
  4. Complexité de calcul (informatique)  (15)
  5. Intelligence artificielle  (13)
  6. Programmation logique  (12)
  7. Informatique. Mathématiques  (12)
  8. Logique informatique  (11)
  9. Logique  (10)
  10. Ordinateurs. Programmation  (9)
  11. Théorèmes. Démonstration automatique  (9)
  12. Théorie des ensembles  (7)
  13. Langages formels  (6)
  14. Informatique  (6)
  15. Computer logic  (5)
  16. Raisonnement  (5)
  17. Automatic theorem proving  (5)
  18. Computational complexity  (5)
  19. Computer science  (5)
  20. Algorithmes  (5)
  21. Théorie de la démonstration  (5)
  22. Automates mathématiques, Théorie des  (5)
  23. Lambda-calcul  (5)
  24. Logic programming  (5)
  25. Mathématiques. Philosophie  (5)
  26. LOGIQUE MATHEMATIQUE  (5)
  27. Artificial intelligence  (5)
  28. Fonctions récursives  (4)
  29. Logique mathématique. Actes de congrès  (4)
  30. Logic, Symbolic and mathematical. Congresses  (4)
  31. Calcul des prédicats  (4)
  32. Calcul des propositions  (4)
  33. Fonctions calculables  (4)
  34. Gödel, Théorème de  (4)
  35. Génie logiciel  (4)
  36. Computer science. Mathematics  (4)
  37. Machine theory  (3)
  38. Langages de programmation. Sémantique  (3)
  39. Algebra, Boolean  (3)
  40. Electronic digital computers. Programming  (3)
  41. Switching theory  (3)
  42. Circuits logiques  (3)
  43. Systèmes experts (informatique)  (3)
  44. Logique combinatoire  (3)
  45. Boole, Algèbre de  (3)
  46. Information, Théorie de l'  (3)
  47. Catégories (mathématiques)  (2)
  48. Logiciels. Développement  (2)
  49. Turing, Machines de  (2)
  50. LOGIQUE INTUITIONNISTE  (2)
  51. Programming languages (Electronic computers)  (2)
  52. Mathématiques. Informatique  (2)
  53. LOGIQUE SYMBOLIQUE  (2)
  54. Traitement automatique du langage naturel  (2)
  55. Decidability (Mathematical logic)  (2)
  56. Épistémologie  (2)
  57. Langage et logique  (2)
  58. Méthodes formelles (informatique)  (2)
  59. Logique du premier ordre  (2)
  60. Traitement automatique des données  (2)
  61. Proof theory  (2)
  62. Logic  (2)
  63. EXERCICE  (2)
  64. Incomplétude, Théorèmes d'  (2)
  65. Prolog (langage de programmation)  (2)
  66. Métamathématique  (2)
  67. Reasoning  (2)
  68. Systèmes, Conception de  (2)
  69. Set theory  (2)
  70. Inférence  (2)
  71. Linguistique  (1)
  72. Informatique. Actes de congrès  (1)
  73. Matrices  (1)
  74. SEMANTIQUE  (1)
  75. Devinettes et énigmes  (1)
  76. Complétude, Théorème de  (1)
  77. Échange électronique d'information  (1)
  78. Reasoning. Data processing  (1)
  79. Predicate (Logic)  (1)
  80. Machine learning  (1)
  81. Autres open sub menu

Auteur 

  1. Abramsky, Samson  (5)
  2. Gabbay, Dov M  (5)
  3. Girard, Jean-Yves  (3)
  4. Delahaye, Jean-Paul  (3)
  5. Hogger, Christopher John  (3)
  6. Smullyan, Raymond Merrill  (3)
  7. Gabbay, Dov. M  (2)
  8. Robinson, John Alan  (2)
  9. Kowalski, Robert A  (2)
  10. Lawvere, Francis William  (2)
  11. Raffalli, Christophe  (2)
  12. Kozen, Dexter C  (2)
  13. Margenstern, Maurice  (2)
  14. LASCAR, D  (2)
  15. Kröger, Fred  (2)
  16. Maibaum, T.S.E  (2)
  17. Monin, Jean-François  (2)
  18. Rougemont, Michel de  (2)
  19. Maibaum, Thomas S. E  (2)
  20. Gribomont, Pascal  (2)
  21. Nerode, Anil  (2)
  22. Kleene, Stephen Cole  (2)
  23. Lassaigne, Richard  (2)
  24. Papadimitriou, Christos H  (2)
  25. Nour, Karim  (2)
  26. CORI, R  (2)
  27. Lagasse, Jean  (2)
  28. Kuntzmann, Jean  (2)
  29. Gochet, Paul  (2)
  30. David, René  (2)
  31. Straubing, Howard  (1)
  32. Good, Irving John  (1)
  33. Carroll, Lewis  (1)
  34. Szczerba, Leslaw W  (1)
  35. Börger, Egon  (1)
  36. Meyer, John-Jules Charles  (1)
  37. Shore, Richard A  (1)
  38. Moore, J Strother  (1)
  39. Rozenberg, Grzegorz  (1)
  40. Frécon, Louis  (1)
  41. Charpillet, François  (1)
  42. Crossley, John N  (1)
  43. Berlanger, Isabelle  (1)
  44. Ésik, Zoltán  (1)
  45. Quiniou, René  (1)
  46. Schiex, Thomas  (1)
  47. Turner, Raymond  (1)
  48. De Greef, Isabelle  (1)
  49. Adamowicz, Zofia  (1)
  50. Merz, Stephan  (1)
  51. Mitchell, John C  (1)
  52. Murawski, Roman  (1)
  53. Ben-Ari, Mordechai  (1)
  54. Lloyd, John Wylie  (1)
  55. Schanuel, Stephen Hoel  (1)
  56. Abrial, Jean-Raymond  (1)
  57. Autebert, Jean-Michel  (1)
  58. Laboratoire d'informatique théorique et programmation.Paris  (1)
  59. Organisation du traité de l'Atlantique nord.Division des affaires scientifiques  (1)
  60. Delmas-Rigoutsos, Yannis  (1)
  61. Dybjer, Peter  (1)
  62. Meulen, Alice G.B. ter  (1)
  63. Sipser, Michael  (1)
  64. Curien, Pierre-Louis  (1)
  65. Hähnle, Reiner  (1)
  66. Benzaken, Claude  (1)
  67. Pitrat, Jacques  (1)
  68. Di Donna, Annie  (1)
  69. Nute, Donald  (1)
  70. Kleine Büning, Hans  (1)
  71. Schöning, Uwe  (1)
  72. Maibum, Thomas S. E  (1)
  73. Hodges, Andrew  (1)
  74. Institut de statistiques mathématiques  (1)
  75. Barwise, Jon  (1)
  76. Gattégno, Jean  (1)
  77. Simpson, Stephen Gershom  (1)
  78. Flum, Jörg  (1)
  79. Coumet, Ernest  (1)
  80. Chaitin, Gregory J  (1)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1977  (7)
  2. 1977 à 1988  (13)
  3. 1989 à 1995  (46)
  4. 1996 à 2003  (33)
  5. Après 2003  (20)
  6. Autres open sub menu

Langue 

  1. Anglais  (77)
  2. Français  (41)
  3. Autres open sub menu

Editeur 

  1. PWS Publ.  (1)
  2. Pour la science diff. Belin  (1)
  3. J. Gabay  (1)
  4. Hermes science publ. Lavoisier  (1)
  5. Ed. Le Pommier  (1)
  6. North-Holland publishing Company P. Noordhoff  (1)
  7. North-Holland P. Noordhoff  (1)
  8. J. Wiley & Sons  (1)
  9. Cépaduès-éd.  (1)
  10. Addison-Wesley Pub. Co.  (1)
  11. Academic press  (3)
  12. Addison-Wesley  (3)
  13. American Mathematical Society  (1)
  14. Belin Pour la science  (1)
  15. Bibliopolis  (1)
  16. Birkhäuser  (3)
  17. Bordas  (1)
  18. Cambridge University Press  (10)
  19. Chapman & Hall  (1)
  20. Clarendon  (1)
  21. Clarendon Press  (6)
  22. Clarendon Press Oxford University Press  (3)
  23. de Boeck  (1)
  24. Dunod  (6)
  25. Dunod Presses de l'Université de Montréal  (1)
  26. Elsevier  (1)
  27. Elsevier the MIT press  (1)
  28. Harper & Row, Publishers  (1)
  29. Harvest Harcourt  (1)
  30. Heidelberg Springer  (1)
  31. Hermann  (3)
  32. Hermès  (6)
  33. Hermès science France Télécom R&D  (1)
  34. Hermès science publications  (1)
  35. Institut national de recherche en informatique et en automatique  (1)
  36. InterEditions  (1)
  37. Kluwer Academic Publishers  (1)
  38. Les Editions de l'Ecole polytechnique  (1)
  39. Logos  (1)
  40. Marcel Dekker  (1)
  41. Masson  (11)
  42. MIT Press  (2)
  43. North-Holland  (2)
  44. North Holland Elsevier  (2)
  45. North-Holland Publishing Company  (1)
  46. Oxford University Press  (3)
  47. Payot  (1)
  48. Prentice Hall  (2)
  49. Presses polytechniques et universitaires romandes  (1)
  50. Princeton university press  (2)
  51. Springer  (12)
  52. Springer-Verlag  (5)
  53. Springer+Business Media  (1)
  54. The MIT Press  (1)
  55. Vuibert  (1)
  56. Wadsworth  (1)
  57. Wiley  (1)
  58. Autres open sub menu

Collection 

  1. ACM Monograph series  (1)
  2. Artificial intelligence series  (1)
  3. AXIOMES  (3)
  4. Bibliotheca mathematica  (1)
  5. Bibliothèque de l'automaticien  (1)
  6. Bibliothèque pour la science  (1)
  7. Bibliothèque scientifique  (1)
  8. Cambridge tracts in theoretical computer science  (3)
  9. Cognitive technologies  (1)
  10. Collected works of A. M. Turing  (1)
  11. Collection des sciences appliquées de l'INSA de Lyon  (1)
  12. Collection didactique  (1)
  13. Collection Informatique  (2)
  14. Collection Intelligence artificielle  (1)
  15. Collection technique et scientifique des télécommunications  (2)
  16. Computer Science and Technology Series  (1)
  17. Contemporary mathematics  (1)
  18. Démarches de pensée  (1)
  19. Dunod informatique  (1)
  20. Dunod université  (2)
  21. EATCS monographs on theoretical computer science  (2)
  22. Etudes et recherches en informatique  (1)
  23. Foundations of computing  (1)
  24. Foundations of computing series  (1)
  25. IIA, Informatique Intelligence Artificielle  (1)
  26. Informatique  (1)
  27. Initiation aux nouveautés de la science  (1)
  28. International computer science series  (3)
  29. International series of monographs on computer science  (2)
  30. L'Esprit et la main  (1)
  31. Langue, raisonnement, calcul  (3)
  32. Lecture notes in pure and applied mathematics  (1)
  33. Logique mathématiques informatique  (3)
  34. London Mathematical Society lecture note series  (1)
  35. Manuels informatiques Masson  (3)
  36. Mathématiques et applications  (1)
  37. Monographs in computer science  (1)
  38. NATO ASI series  (1)
  39. Oxford logic guides  (1)
  40. Oxford science publications  (4)
  41. Perspectives in mathematical logic  (1)
  42. Petite bibliothèque Payot  (1)
  43. Prentice Hall international series in computer science  (1)
  44. Prentice Hall software series  (1)
  45. Princeton monographs in philosophy  (1)
  46. Progress in computer science and applied logic  (2)
  47. Progress in theoretical computer science  (1)
  48. Publications of the Newton Institute  (1)
  49. Pure and applied mathematics  (1)
  50. Quatre à quatre  (1)
  51. Santa Fe Institute studies in the sciences of complexity  (1)
  52. Sciences sup  (2)
  53. Springer series in discrete mathematics and theoretical computer science  (1)
  54. Studies in logic and computation  (1)
  55. STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS  (2)
  56. Studies in proof theory  (1)
  57. Synthese library  (1)
  58. Texts and monographs in computer science  (1)
  59. Texts in computer science  (2)
  60. Texts in theoretical computer science : an EATCS series  (1)
  61. The Computer science library  (1)
  62. Traité des nouvelles technologies  (1)
  63. Undergraduate texts in mathematics  (1)
  64. Universitext  (1)
  65. Visions des sciences  (2)
  66. Wadsworth philosophers series  (1)
  67. Wiley professional computing  (1)
  68. Autres open sub menu

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

Recherche dans les bases de données distantes en cours. Merci de patienter.