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

résultats 1 2 3 4 5 next page
N'afficher que
Filtré par : sujet: Programmation logique supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Progress in Artificial Intelligence : Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 Porto, Portugal, December 17–20, 2001 Proceedings
Material Type:
ebook
Ajouter au Panier

Progress in Artificial Intelligence : Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 Porto, Portugal, December 17–20, 2001 Proceedings

Jorge, Alípio (Ed.) ; Brazdil, Pavel (Ed.)

Lecture Notes in Computer Science ; 2258

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

2
Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings
Material Type:
ebook
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 (Ed.) ; Voronkov, Andrei (1959-...) (Ed.)

Lecture Notes in Computer Science ; 2850

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

3
Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings
Material Type:
ebook
Ajouter au Panier

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

Baaz, Matthias (Ed.) ; Voronkov, Andrei (1959-...) (Ed.)

Lecture Notes in Computer Science ; 2514

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

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

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

Voronkov, Andrei (1959-...) (Ed.) ; Nieuwenhuis, Robert (Ed.)

Lecture Notes in Computer Science ; 2250

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

5
Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6–10, 2000 Proceedings
Material Type:
ebook
Ajouter au Panier

Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6–10, 2000 Proceedings

Parigot, Michel (Ed.) ; Voronkov, Andrei (1959-...) (Ed.)

Lecture Notes in Artificial Intelligence ; 1955

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

6
Inductive Logic Programming : 8th International Conference, ILP-98 Madison, Wisconsin, USA, July 22–24, 1998 Proceedings
Material Type:
ebook
Ajouter au Panier

Inductive Logic Programming : 8th International Conference, ILP-98 Madison, Wisconsin, USA, July 22–24, 1998 Proceedings

Page, David (1944-...) (Ed.)

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

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

7
Extensions of Logic Programming : Second International Workshop, ELP '91 Stockholm, Sweden, January 27–29, 1991 Proceedings
Material Type:
ebook
Ajouter au Panier

Extensions of Logic Programming : Second International Workshop, ELP '91 Stockholm, Sweden, January 27–29, 1991 Proceedings

Eriksson, L. -H (Ed.) ; Schroeder-Heister, Peter (Ed.) ; Hallnäs, Lars (1950-...) (Ed.)

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

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

8
Inductive Logic Programming : 7th International Workshop, ILP-97 Prague, Czech Republic September 17–20, 1997 Proceedings
Material Type:
ebook
Ajouter au Panier

Inductive Logic Programming : 7th International Workshop, ILP-97 Prague, Czech Republic September 17–20, 1997 Proceedings

Lavrač, Nada (Ed.) ; Džeroski, Sašo (1968-...) (Ed.)

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

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

9
Inductive Logic Programming : 6th International Workshop, ILP-96 Stockholm, Sweden, August 26–28, 1996 Selected Papers
Material Type:
ebook
Ajouter au Panier

Inductive Logic Programming : 6th International Workshop, ILP-96 Stockholm, Sweden, August 26–28, 1996 Selected Papers

Muggleton, Stephen (Ed.)

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

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

10
Extensions of Logic Programming : International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings
Material Type:
ebook
Ajouter au Panier

Extensions of Logic Programming : International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings

Schroeder-Heister, Peter (Ed.)

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

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

Résultats 1 - 10 sur 93  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 (1)
  2. Catalogue (92)

Affiner vos résultats

Sujet 

  1. Informatique  (92)
  2. Computer science  (92)
  3. Artificial Intelligence (incl. Robotics)  (91)
  4. Artificial intelligence  (91)
  5. Intelligence artificielle  (90)
  6. Logique mathématique  (69)
  7. Mathematical Logic and Formal Languages  (68)
  8. Ordinateurs. Programmation  (66)
  9. Programming Techniques  (65)
  10. Logics and Meanings of Programs  (46)
  11. Logic design  (46)
  12. Programming Languages, Compilers, Interpreters  (31)
  13. Langages de programmation  (31)
  14. Logic, Symbolic and mathematical  (13)
  15. Mathematical Logic and Foundations  (13)
  16. Software engineering  (12)
  17. Génie logiciel  (12)
  18. Induction (logique)  (11)
  19. Théorèmes. Démonstration automatique  (10)
  20. Raisonnement non-monotone  (5)
  21. Raisonnement  (5)
  22. Programming languages (Electronic computers)  (5)
  23. Programmation fonctionnelle (informatique)  (5)
  24. Database management  (4)
  25. Logique algébrique  (4)
  26. Algorithmes  (3)
  27. Computer Science, general  (3)
  28. Computer software  (3)
  29. Algorithm Analysis and Problem Complexity  (3)
  30. Programmation par contraintes  (3)
  31. Symbolic and Algebraic Manipulation  (2)
  32. Translators (Computer programs)  (2)
  33. Modalité (logique)  (2)
  34. Linguistique. Informatique  (2)
  35. Mélanges et hommages  (2)
  36. Bases de données relationnelles  (2)
  37. Algebra. Data processing  (2)
  38. Bases de données déductives  (2)
  39. Structures de données (informatique)  (2)
  40. Language Translation and Linguistics  (2)
  41. Information storage and retrieval systems  (1)
  42. Systèmes, Analyse de  (1)
  43. Communications Engineering, Networks  (1)
  44. Information theory  (1)
  45. Droit D’auteur  (1)
  46. Propriété Intellectuelle  (1)
  47. Sécurité  (1)
  48. Logique informatique  (1)
  49. Logical Programming  (1)
  50. Information storage and retrieval  (1)
  51. Groupes, Théorie des  (1)
  52. Data structures (Computer science)  (1)
  53. Security  (1)
  54. Représentation des connaissances  (1)
  55. Computer Communication Networks  (1)
  56. Business Information Systems  (1)
  57. R & D/Technology Policy  (1)
  58. Data Structures  (1)
  59. Literary Artistic Property  (1)
  60. Logique mathématique non classique  (1)
  61. Prolog (langage de programmation)  (1)
  62. Digital Recording  (1)
  63. Contraintes (intelligence artificielle)  (1)
  64. Management  (1)
  65. Bases de données. Conception  (1)
  66. Agents intelligents (logiciels)  (1)
  67. Reasoning  (1)
  68. Logiciels. Développement  (1)
  69. System analysis  (1)
  70. Ordinateurs  (1)
  71. Management information systems  (1)
  72. Apprentissage automatique  (1)
  73. Informatique documentaire  (1)
  74. Information and Communication, Circuits  (1)
  75. Propriété Littéraire et Artistique  (1)
  76. Prolog Language  (1)
  77. Theory of Computation  (1)
  78. Computer aided design  (1)
  79. Copyright  (1)
  80. Ewi-672  (1)
  81. Automatic hypothesis formation  (1)
  82. Natural language processing (Computer science)  (1)
  83. Inférence  (1)
  84. Engineering  (1)
  85. Ingénierie assistée par ordinateur  (1)
  86. Computer-Aided Engineering (CAD, CAE) and Design  (1)
  87. Mathematics of Computing  (1)
  88. Intellectual Property  (1)
  89. Gestion  (1)
  90. Semantics--Data processing  (1)
  91. Types abstraits de données (informatique)  (1)
  92. Structure logique  (1)
  93. 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.