skip to main content
Langue :
Afficher les résultats avec :

Résultats 1 - 10 sur 120 897  pour Articles en ligne

résultats 1 2 3 4 5 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
ebook
Ajouter au Panier

Beyond the limits of thought

Priest, Graham

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

[Oxford]. Oxford University Press, 2011

2
Material Type:
ebook
Ajouter au Panier

Formal logic

Prior, Arthur Norman (1914-1969)

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

[Oxford]. Oxford University Press, 2011

3
Comment concevons-nous l'efficace analytique ?
Material Type:
Article
Ajouter au Panier

Comment concevons-nous l'efficace analytique ?

Chaboudez, Gisèle

Figures de la psychanalyse, n 15, 1, 2007-05-16, pp.69-85

2007

4
De l'« ab-sens » : Lacan et Wittgenstein
Material Type:
Article
Ajouter au Panier

De l'« ab-sens » : Lacan et Wittgenstein

Rigal-Granel, Élisabeth

Psychanalyse, n 28, 3, 2013-09-01, pp.107-118

2013

5
Transactions on Computational Science XXIV : Special Issue on Reversible Computing
Material Type:
ebook
Ajouter au Panier

Transactions on Computational Science XXIV : Special Issue on Reversible Computing

Gavrilova, Marina L ; Tan, C.J. Kenneth (Ed.) ; Thapliyal, Himanshu (Ed.) ; Ranganathan, Nagarajan (Ed.)

Appartient à la collection : Lecture notes in computer science, 8911, ISSN 0302-9743

Berlin, Heidelberg. Springer Berlin Heidelberg. Springer e-books. Imprint: Springer. Springer e-books, 2014

6
Le temps logique de l'adolescence
Material Type:
Article
Ajouter au Panier

Le temps logique de l'adolescence

Chaboudez, Gisèle; Kelly-Penot, Elizabeth; de la Vega, Ruth

Adolescence, n 60, 2, 2007-09-01, pp.373-383

2007

7
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Material Type:
ebook
Ajouter au Panier

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Aït-Ameur, Yamine (1966-...) (Ed.) ; Schewe, Klaus-Dieter (Ed.)

Appartient à la collection : Lecture notes in computer science, 8477, ISSN 0302-9743

Berlin, Heidelberg. Springer Berlin Heidelberg. Springer e-books. Imprint: Springer. Springer e-books, 2014

8
Material Type:
ebook
Ajouter au Panier

The development of modern logic

Haaparanta, Leila (1954-...) (Ed.)

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

[Oxford]. Oxford University Press, 2009

9
Material Type:
ebook
Ajouter au Panier

Foundations without foundationalism : [a case for second-order logic]

Shapiro, Stewart (1951-...)

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

[Oxford]. Oxford University Press, 2003

10
Material Type:
ebook
Ajouter au Panier

Essays in the metaphysics of modality

Plantinga, Alvin (1932-...) ; Davidson, Matthew (1972-...) (Ed.)

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

[Oxford]. Oxford University Press, 2003

Résultats 1 - 10 sur 120 897  pour Articles en ligne

résultats 1 2 3 4 5 next page

Refine Search Results

Élargir mes résultats

  1.   

N'afficher que

  1. Evalués par les pairs (87 351)
  2. Ressources en ligne (120 813)
  3. Catalogue (1 811)

Affiner vos résultats

Sujet 

  1. Mathematics  (49 051)
  2. Philosophy -- Logic -- Logical topics  (34 105)
  3. Philosophy  (23 855)
  4. Computer Science  (18 709)
  5. Logic  (11 477)
  6. Fuzzy Logic  (5 479)
  7. Mathematical logic  (3 989)
  8. Sciences (General)  (3 524)
  9. Algorithms  (3 474)
  10. Artificial intelligence  (2 914)
  11. Artificial Intelligence (incl. Robotics)  (2 885)
  12. Mathematical Logic and Formal Languages  (2 687)
  13. Mathematical Logic and Foundations  (2 534)
  14. Logics and Meanings of Programs  (2 159)
  15. Software engineering  (2 101)
  16. Logic design  (1 999)
  17. Algebra  (1 581)
  18. Computer logic  (1 491)
  19. Programming Languages, Compilers, Interpreters  (1 333)
  20. Humans  (1 292)
  21. Computer Simulation  (1 148)
  22. Informatique  (1 086)
  23. Logic Gates  (1 083)
  24. Programming Techniques  (927)
  25. Computers  (883)
  26. Computational linguistics  (845)
  27. Decision Making  (834)
  28. Modal Logic  (806)
  29. Computer programming  (794)
  30. Logique mathématique  (722)
  31. Computation by Abstract Devices  (718)
  32. Programming languages (Electronic computers)  (682)
  33. Algorithm Analysis and Problem Complexity  (671)
  34. Software Engineering/Programming and Operating Systems  (630)
  35. Computer Communication Networks  (590)
  36. Computer software  (574)
  37. Fuzzy Sets  (563)
  38. Combinatorics  (537)
  39. Computational complexity  (536)
  40. Logic Circuits  (508)
  41. Intelligence artificielle  (488)
  42. Logic, Symbolic and mathematical  (478)
  43. Génie logiciel  (410)
  44. Information systems  (379)
  45. Langages de programmation  (378)
  46. Ordinateurs. Programmation  (338)
  47. Symbolic and Algebraic Manipulation  (307)
  48. Information Storage and Retrieval  (304)
  49. Information Systems Applications (incl. Internet)  (291)
  50. Discrete Mathematics in Computer Science  (272)
  51. Data mining  (270)
  52. Special Purpose and Application-Based Systems  (265)
  53. Data Structures  (261)
  54. Processor Architectures  (257)
  55. Database management  (254)
  56. Arithmetic and Logic Structures  (244)
  57. Operating Systems  (218)
  58. Computer Systems Organization and Communication Networks  (218)
  59. Computer communication systems  (212)
  60. Simulation and Modeling  (204)
  61. Algorithmes  (199)
  62. Models, Theoretical  (187)
  63. Data Mining and Knowledge Discovery  (178)
  64. Operating systems (Computers)  (170)
  65. Data structures (Computer science)  (157)
  66. Language Translation and Linguistics  (147)
  67. Fluorescence  (139)
  68. Computer security  (132)
  69. DNA  (132)
  70. Management of Computing and Information Systems  (122)
  71. Management information systems  (117)
  72. Probability and Statistics in Computer Science  (116)
  73. Logic Gate  (111)
  74. LOGIQUE  (106)
  75. Special purpose computers  (106)
  76. Computer science. Mathematics  (101)
  77. Mathematics of Computing  (100)
  78. Programmation logique  (86)
  79. Théorèmes. Démonstration automatique  (85)
  80. Structure logique  (84)
  81. Application software  (78)
  82. System Performance and Evaluation  (76)
  83. Microprocesseurs  (72)
  84. Natural language processing (Computer science)  (64)
  85. Computer network architectures  (63)
  86. Information storage and retrieva  (63)
  87. Logiciels. Développement  (62)
  88. Computer system performance  (56)
  89. Systems and Data Security  (54)
  90. Mathématiques  (51)
  91. Computer organization  (47)
  92. Computer system failures  (46)
  93. Unités arithmétiques et logiques  (42)
  94. Mathematical statistics  (37)
  95. Natural Language Processing (NLP)  (37)
  96. Autres open sub menu

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Shelah, Saharon
  2. Steffen, Bernhard
  3. Goos, Gerhard
  4. Hartmanis, Juris
  5. Shelah, S.

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.