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 382  pour Articles en ligne

résultats 1 2 3 4 5 next page
N'afficher que
Filtré par : sujet: Computer logic supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
AI*IA 2017 Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings
Material Type:
ebook
Ajouter au Panier

AI*IA 2017 Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

Esposito, Floriana (Ed.) ; Basili, Roberto (Ed.) ; Ferilli, Stefano (Ed.) ; Lisi, Francesca A (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2017

2
Logics in Artificial Intelligence : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings
Material Type:
ebook
Ajouter au Panier

Logics in Artificial Intelligence : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings

Fermé, Eduardo ; Leite, João (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2014

3
Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
Material Type:
ebook
Ajouter au Panier

Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

Michael, Loizos (Ed.) ; Kakas, Antonis (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2016

4
Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Material Type:
ebook
Ajouter au Panier

Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Davis, Martin (Ed.) ; Fehnker, Ansgar (Ed.) ; McIver, Annabelle (Ed.) ; Voronkov, Andrei (Ed.)

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

Berlin, Heidelberg. Springer Berlin Heidelberg. Imprint: Springer, 2015

5
Rules on the Web. From Theory to Applications : 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings
Material Type:
ebook
Ajouter au Panier

Rules on the Web. From Theory to Applications : 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings

Bikakis, Antonis ; Fodor, Paul (Ed.) ; Roman, Dumitru (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2014

6
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings
Material Type:
Livre
Ajouter au Panier

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings

Nieuwenhuis, Robert ; Voronkov, Andrei ; Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg, 2001

Voir toutes les versions
7
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings
Material Type:
Livre
Ajouter au Panier

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

Vardi, Moshe Y ; Voronkov, Andrei ; Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg, 2003

Voir toutes les versions
8
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings
Material Type:
Livre
Ajouter au Panier

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings

Baaz, Matthias ; Voronkov, Andrei ; Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg, 2002

Voir toutes les versions
9
Fuzzy Logic in Artificial Intelligence: 8th Austrian Artificial Intelligence Conference, FLAI '93 Linz, Austria, June 28–30, 1993 Proceedings
Material Type:
Livre
Ajouter au Panier

Fuzzy Logic in Artificial Intelligence: 8th Austrian Artificial Intelligence Conference, FLAI '93 Linz, Austria, June 28–30, 1993 Proceedings

Klement, Erich P ; Slany, Wolfgang ; Springerlink (Online Service) (Corporate Author)

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 1993

10
Logics in Artificial Intelligence: European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings
Material Type:
Livre
Ajouter au Panier

Logics in Artificial Intelligence: European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings

Macnish, Craig ; Pearce, David ; Pereira, Luís Moniz ; Springerlink (Online Service) (Corporate Author)

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 1994

Résultats 1 - 10 sur 382  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 (6)
  2. Catalogue (122)

Affiner vos résultats

Sujet 

  1. Artificial Intelligence  (372)
  2. Computer Science  (327)
  3. Logics and Meanings of Programs  (317)
  4. Artificial Intelligence (Incl. Robotics)  (307)
  5. Mathematical Logic  (235)
  6. Mathematical Logic and Formal Languages  (234)
  7. Software Engineering  (199)
  8. Programming Languages (Electronic Computers)  (143)
  9. Programming Languages, Compilers, Interpreters  (142)
  10. Computer Programming  (126)
  11. Logic design  (124)
  12. Programming Techniques  (101)
  13. Computers  (76)
  14. Software Engineering/Programming and Operating Systems  (65)
  15. Algorithms  (53)
  16. Computer Communication Networks  (45)
  17. Computer Communication Systems  (45)
  18. Theory of Computation  (42)
  19. Mathematical Logic and Foundations  (38)
  20. Algorithm Analysis and Problem Complexity  (33)
  21. Cybernetics  (30)
  22. Computer software  (28)
  23. Mathematics  (26)
  24. Computer science. Mathematics  (24)
  25. Computation by Abstract Devices  (22)
  26. Discrete Mathematics in Computer Science  (21)
  27. Information Systems Applications (incl. Internet)  (20)
  28. Computer simulation  (18)
  29. Computational complexity  (17)
  30. Symbolic and Algebraic Manipulation  (16)
  31. Simulation and Modeling  (15)
  32. Computer hardware  (11)
  33. Information Storage and Retrieval  (10)
  34. Computer system failures  (10)
  35. Computational linguistics  (10)
  36. Language Translation and Linguistics  (9)
  37. Special Purpose and Application-Based Systems  (8)
  38. Special purpose computers  (8)
  39. Application software  (8)
  40. Computer Applications  (8)
  41. System Performance and Evaluation  (8)
  42. Information systems  (8)
  43. Logic, Symbolic and mathematical  (7)
  44. Database management  (7)
  45. Computer system performance  (7)
  46. Logic in AI  (7)
  47. Electronic data processing  (6)
  48. Computing Methodologies  (6)
  49. Algebra. Data processing  (6)
  50. Mathematics of Computing  (6)
  51. Computer Science, general  (5)
  52. Data structures (Computer science)  (5)
  53. Data Structures  (5)
  54. Computer industry  (5)
  55. Natural language processing (Computer science)  (5)
  56. Natural Language Processing (NLP)  (5)
  57. Computer organization  (5)
  58. Computer Appl. in Administrative Data Processing  (5)
  59. Information storage and retrieval systems  (4)
  60. Computer network architectures  (4)
  61. Probability and Statistics in Computer Science  (4)
  62. The Computing Profession  (4)
  63. Numerical analysis  (4)
  64. Information storage and retrieva  (4)
  65. Computer Systems Organization and Communication Networks  (4)
  66. Numeric Computing  (4)
  67. Data mining  (3)
  68. Bioinformatics  (3)
  69. Data structures (Computer scienc  (3)
  70. Computer security  (3)
  71. Computer-aided design  (3)
  72. Mathematical statistics  (3)
  73. Data Mining and Knowledge Discovery  (3)
  74. Systems and Data Security  (3)
  75. User Interfaces and Human Computer Interaction  (2)
  76. Management of Computing and Information Systems  (2)
  77. Computing Milieux  (2)
  78. Management information systems  (2)
  79. Data protection  (2)
  80. Computational Biology/Bioinformatics  (2)
  81. User interfaces (Computer systems)  (2)
  82. Cryptology  (1)
  83. Data Encryption  (1)
  84. 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.