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
Constraints in Computational Logics : Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures
Material Type:
ebook
Ajouter au Panier

Constraints in Computational Logics : Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Hartmanis, Juris (1928-...) (Ed.) ; Treinen, Ralf (1961-...) (Ed.) ; Comon-Lundh, Hubert (Ed.) ; Leeuwen, Jan (Ed.) ; Marché, Claude (chercheur en informatique) (19..-..) (Ed.) ; Goos, Gerhard (Ed.)

Lecture Notes in Computer Science ; 2002

Berlin [etc.]. Springer, 201. ?

2
Material Type:
Article
Ajouter au Panier

Licensescript : Un Formalisme Logique Pour la Gestion des Droits Numériques
LicenseScript: a logical language for digital rights management

Chong, Cheun ; Corin, Ricardo ; Doumen, Jeroen ; Etalle, Sandro ; Hartel, Pieter ; Law, Yee ; Tokmakoff, Andrew

Annales Des Télécommunications, 2006, Vol.61(3), pp.284-331 [Evalué par les pairs]

Voir toutes les versions
3
A Tight, Practical Integration of Relations and Functions
Material Type:
ebook
Ajouter au Panier

A Tight, Practical Integration of Relations and Functions

Boley, Harold

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

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

4
Transactions and Change in Logic Databases : International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997 Invited Surveys and Selected Papers
Material Type:
ebook
Ajouter au Panier

Transactions and Change in Logic Databases : International Seminar on Logic Databases and the Meaning of Change Schloss Dagstuhl, Germany, September 23–27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997 Invited Surveys and Selected Papers

Kifer, Michael (1954-...) (Ed.) ; Decker, Hendrik (Ed.) ; Freitag, Burkhard (Ed.) ; Voronkov, Andrei (1959-...) (Ed.)

Lecture Notes in Computer Science ; 1472

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

5
Logic Programming and Knowledge Representation : Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers
Material Type:
ebook
Ajouter au Panier

Logic Programming and Knowledge Representation : Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers

Dix, Jürgen (1961-...) (Ed.) ; Przymusinski, Teodor C (1947-...) (Ed.) ; Pereira, Luís Moniz (1947-...) (Ed.)

Lecture Notes in Computer Science ; 1471

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

6
Extensions of Logic Programming : Third International Workshop, ELP '92 Bologna, Italy, February 26–28, 1992 Proceedings
Material Type:
ebook
Ajouter au Panier

Extensions of Logic Programming : Third International Workshop, ELP '92 Bologna, Italy, February 26–28, 1992 Proceedings

Mello, Paola (1958-...) (Ed.) ; Lamma (Ed.)

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

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

7
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

8
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

9
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

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.