skip to main content
Langue :
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
Afficher les résultats avec :

Résultats 1 - 10 sur 43  pour Articles en ligne

résultats 1 2 3 4 5 next page
Filtré par : sujet: Logique mathématique supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
ebook
Ajouter au Panier

The enchantment of words : Wittgenstein's Tractatus logico-philosophicus

McManus, Denis (1967-...)

Appartient à la collection : Oxford Scholarship Online. Philosophy (Online)

[Oxford]. Oxford University Press, 2007

2
Material Type:
ebook
Ajouter au Panier

After Gödel : Platonism and rationalism in mathematics and logic

Tieszen, Richard L

Appartient à la collection : Oxford Scholarship Online. Philosophy (Online)

[Oxford]. Oxford University Press, 2011

3
Material Type:
ebook
Ajouter au Panier

Defending the axioms : on the philosophical foundations of set theory

Maddy, Penelope

Appartient à la collection : Oxford Scholarship Online. Philosophy (Online)

[Oxford]. Oxford University Press, 2011

4
Material Type:
ebook
Ajouter au Panier

Frege and other philosophers

Dummett, Michael Anthony Eardley (1925-2011)

Appartient à la collection : Oxford Scholarship Online. Philosophy (Online)

[Oxford]. Oxford University Press, 2003

5
Material Type:
ebook
Ajouter au Panier

The Oxford handbook of philosophy of mathematics and logic

Shapiro, Stewart (1951-...) (Ed.)

Appartient à la collection : Oxford Handbooks Online

[Oxford]. Oxford University Press, 2009

6
Material Type:
ebook
Ajouter au Panier

Truth trough proof : a formalist foundation for mathematic

Weir, Alan J

Appartient à la collection : Oxford Scholarship Online. Philosophy (Online)

[Oxford]. Oxford University Press, 2011

7
Material Type:
ebook
Ajouter au Panier

Propositions, functions and anlysis : selected essays on Russel's philosophy

Hylton, Peter

Appartient à la collection : Oxford Scholarship Online. Philosophy (Online)

[Oxford]. Oxford University Press, 2010

8
Material Type:
ebook
Ajouter au Panier

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940

Mancosu, Paolo

Appartient à la collection : Oxford Scholarship Online. Philosophy (Online)

[Oxford]. Oxford University Press, 2011

9
Material Type:
ebook
Ajouter au Panier

Plural logic

Oliver, Alex ; Smiley, Timothy John (1930-...)

Appartient à la collection : Oxford Scholarship Online. Philosophy (Online)

[Oxford]. Oxford University Press, 2017

10
Knowledge Representation and Reasoning Under Uncertainty : Logic at Work
Material Type:
ebook
Ajouter au Panier

Knowledge Representation and Reasoning Under Uncertainty : Logic at Work

Pólos, László (1955-...) (Ed.) ; Masuch, Michael (Ed.)

Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 808

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

Résultats 1 - 10 sur 43  pour Articles en ligne

résultats 1 2 3 4 5 next page

Refine Search Results

Élargir mes résultats

  1.   

Affiner vos résultats

Sujet 

  1. Computer science  (30)
  2. Informatique  (29)
  3. Artificial Intelligence (incl. Robotics)  (28)
  4. Intelligence artificielle  (28)
  5. Artificial intelligence  (28)
  6. Mathematical Logic and Formal Languages  (25)
  7. Raisonnement  (25)
  8. Mathématiques. Philosophie  (9)
  9. Reasoning  (8)
  10. Incertitude (théorie de l'information)  (8)
  11. Logic, Symbolic and mathematical  (7)
  12. Programmation logique  (7)
  13. Ordinateurs. Programmation  (7)
  14. Programming Techniques  (7)
  15. Mathematical Logic and Foundations  (6)
  16. Théorèmes. Démonstration automatique  (5)
  17. Représentation des connaissances  (4)
  18. Modalité (logique)  (4)
  19. Logics and Meanings of Programs  (4)
  20. Logic design  (4)
  21. Analogie (philosophie)  (3)
  22. Raisonnement non-monotone  (3)
  23. Logique  (2)
  24. Analyse (philosophie)  (2)
  25. inférence  (2)
  26. Conditionnel (logique)  (1)
  27. Gödel, Kurt (1906-1978)  (1)
  28. Mathematics  (1)
  29. Théorie de la connaissance  (1)
  30. Computer Science, general  (1)
  31. Relationnisme  (1)
  32. Symbolic and Algebraic Manipulation  (1)
  33. Interfaces utilisateur (informatique)  (1)
  34. Épistémologie  (1)
  35. Logique informatique  (1)
  36. Global analysis (Mathematics)  (1)
  37. Programming Languages, Compilers, Interpreters  (1)
  38. Russell, Bertrand (1872-1970). Critique et interprétation  (1)
  39. Théorie de la démonstration  (1)
  40. Problem solving  (1)
  41. Artificial intelligence--Industrial applications--Congresses  (1)
  42. Philosophie du langage  (1)
  43. Business Information Systems  (1)
  44. Database management  (1)
  45. Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus  (1)
  46. Totalité (philosophie)  (1)
  47. Software engineering  (1)
  48. Qualitative reasoning  (1)
  49. Métaphore  (1)
  50. Computers and Society  (1)
  51. Mathématiques constructives  (1)
  52. Incomplétude, Théorèmes d'  (1)
  53. Perception du temps  (1)
  54. Linguistique. Informatique  (1)
  55. Data transmission systems  (1)
  56. Génie logiciel  (1)
  57. Mathématiques. Fondements  (1)
  58. Management information systems  (1)
  59. Argumentation  (1)
  60. Représentation (philosophie)  (1)
  61. Algebra. Data processing  (1)
  62. Analogy  (1)
  63. Mathematics. Philosophy  (1)
  64. Number theory  (1)
  65. Complexité de calcul (informatique)  (1)
  66. Ordinateurs et civilisation  (1)
  67. Langages de programmation  (1)
  68. Logic  (1)
  69. Frege, Gottlob (1848-1925). Critique et interprétation  (1)
  70. Combinatorics  (1)
  71. Prédicat (logique)  (1)
  72. Approximation, Théorie de l'  (1)
  73. Computation by Abstract Devices  (1)
  74. Platonisme  (1)
  75. Ensembles, Théorie axiomatique des. Philosophie  (1)
  76. Langage et logique  (1)
  77. Default reasoning  (1)
  78. Constructive mathematics  (1)
  79. Parallélisme (informatique)  (1)
  80. Rationalisme  (1)
  81. 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.