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

Résultats 1 - 10 sur 154  pour Tout le catalogue

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
Functional and logic programming
Material Type:
Livre
Ajouter au Panier

Functional and logic programming

IDA, T ; OHORI, A ; TAKEICHI, M

WORLD SCIENTIFIC, 1997

Disponible(->>)

2
Material Type:
Livre
Ajouter au Panier

3rd international workshop on logical frameworks and meta-languages (LFM'02) : preliminary proceedings

Pfenning, Frank (Ed.)

[s.l.]. [s.n.], 2002

Disponible(->>)

3
A grammatical view of logic programming
Material Type:
Livre
Ajouter au Panier

A grammatical view of logic programming

Deransart, Pierre ; Małuszyński, Jan (1941-...)

Appartient à la collection : Logic programming

Cambridge, Mass.. MIT Press, c1993

Disponible(->>)

4
A generic calculus of transformations
Material Type:
Thèse ou mémoire
Ajouter au Panier

A generic calculus of transformations

Wolff, Burkhart ; Krieg-Brückner, Bernd (Dir. thèse) ; Nipkow, Tobias (1958-..) (Dir. thèse) ; Universität Bremen (Organisme de soutenance)

Appartient à la collection : BISS monographs, 4, ISSN 1435-8611

Aachen. Shaker Verlag, 1999

Disponible(->>)

5
Essentials of constraint programming
Material Type:
Livre
Ajouter au Panier

Essentials of constraint programming

Frühwirth, Thom (1962-...) ; Abdennadher, Slim (1967-...)

Appartient à la collection : Cognitive technologies, ISSN 1611-2482

Berlin. Heidelberg. Paris. Springer, cop. 2003

Disponible(->>)

6
Programming with constraints : an introduction
Material Type:
Livre
Ajouter au Panier

Programming with constraints : an introduction

Marriott, Kim ; Stuckey, Peter J

Cambridge (Mass.). MIT Press, cop. 1998

Disponible(->>)

7
Computing in Horn clause theories
Material Type:
Livre
Ajouter au Panier

Computing in Horn clause theories

Padawitz, Peter (1953-)

Appartient à la collection : EATCS monographs on theoretical computer science, v. 16, ISSN 1431-2646

Berlin. New York. Springer-Verlag, cop. 1988

Disponible(->>)

8
Material Type:
Thèse ou mémoire
Ajouter au Panier

On the semantics of disjunctive logic programs

Tsouanas, Athanasios (1983-...) ; Laurent, Olivier (1977-...) () ; Fouqueré, Christophe (1961-...) () ; McCusker, Guy (19..-...) () ; Miller, Dale () ; Komendantskaya, Ekaterina (Membre du jury) ; École normale supérieure de Lyon (Organisme de soutenance) ; École doctorale en Informatique et Mathématiques de Lyon ()

2014

9
Approche logique de l'intelligence artificielle. 1. de la logique classique à la programmation logique
Material Type:
Livre
Ajouter au Panier

Approche logique de l'intelligence artificielle. 1. de la logique classique à la programmation logique

Thayse, André (1940-...) ; Gribomont, Pascal ; Louis, Georges (1960-...) ; Delsarte, Philippe (Collab.)

Appartient à la collection : Dunod informatique, ISSN 0291-1604

Paris. Dunod, DL 1988

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

10
A Logical language for data and knowledge bases
Material Type:
Livre
Ajouter au Panier

A Logical language for data and knowledge bases

NAQVI, S ; TSUR, S

COMPUTER SCIENCE PRESS, 1989

Disponible(->>)

Résultats 1 - 10 sur 154  pour Tout le catalogue

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (99)

Affiner vos résultats

Type de ressource 

  1. ebooks  (98)
  2. Livres  (53)
  3. Thèses ou mémoires  (3)
  4. Autres open sub menu

Localisation 

  1. Descartes  (8)
  2. Descartes - CDR  (1)
  3. Monod  (50)
  4. Autres open sub menu

Sujet 

  1. Programmation logique  (146)
  2. Intelligence artificielle  (99)
  3. Computer science  (98)
  4. Informatique  (98)
  5. Artificial intelligence  (94)
  6. Artificial Intelligence (incl. Robotics)  (91)
  7. Logique mathématique  (85)
  8. Mathematical Logic and Formal Languages  (72)
  9. Ordinateurs. Programmation  (72)
  10. Programming Techniques  (69)
  11. Logics and Meanings of Programs  (51)
  12. Logic design  (51)
  13. Langages de programmation  (37)
  14. Programming Languages, Compilers, Interpreters  (34)
  15. Logic programming  (19)
  16. Logic, Symbolic and mathematical  (17)
  17. Génie logiciel  (14)
  18. Software engineering  (14)
  19. Théorèmes. Démonstration automatique  (13)
  20. Mathematical Logic and Foundations  (13)
  21. Induction (logique)  (11)
  22. Prolog (langage de programmation)  (11)
  23. Programmation par contraintes  (7)
  24. Logique  (7)
  25. Raisonnement non-monotone  (6)
  26. Programmation fonctionnelle (informatique)  (6)
  27. Raisonnement  (5)
  28. Programming languages (Electronic computers)  (5)
  29. Langages de programmation. Sémantique  (5)
  30. Modalité (logique)  (5)
  31. Prolog (Computer program language)  (5)
  32. Logique algébrique  (5)
  33. Parallélisme (informatique)  (4)
  34. Programmation logique. Actes de congrès  (4)
  35. Algorithmes  (4)
  36. Programmation parallèle (informatique)  (4)
  37. Database management  (4)
  38. Programming languages (Electronic computers). Semantics  (3)
  39. Structures de données (informatique)  (3)
  40. Algorithm Analysis and Problem Complexity  (3)
  41. Décidabilité (logique mathématique)  (3)
  42. Logic programming. Congresses  (3)
  43. Programming Languages  (3)
  44. Computer Science, general  (3)
  45. Bases de données déductives  (3)
  46. Computer software  (3)
  47. Traitement automatique des données  (3)
  48. Structure logique  (2)
  49. Constraint programming (Computer science). Congresses  (2)
  50. Data structures (Computer science)  (2)
  51. Logique informatique  (2)
  52. Bases de données relationnelles  (2)
  53. Language Translation and Linguistics  (2)
  54. Logique mathématique. Actes de congrès  (2)
  55. Linguistique. Informatique  (2)
  56. Logic, Symbolic and mathematical. Congresses  (2)
  57. Algebra. Data processing  (2)
  58. Types abstraits de données (informatique)  (2)
  59. Systèmes experts (informatique)  (2)
  60. Translators (Computer programs)  (2)
  61. Lambda-calcul  (2)
  62. Langages formels  (2)
  63. Programmation (mathématiques)  (2)
  64. Symbolic and Algebraic Manipulation  (2)
  65. Mélanges et hommages  (2)
  66. Programmation par contraintes. Actes de congrès  (1)
  67. Informatique documentaire  (1)
  68. Théorie des modèles  (1)
  69. Calcul des prédicats  (1)
  70. Natural language processing (Computer science)  (1)
  71. Logic programming (Computer science)  (1)
  72. PROGRAMMATION FONCTIONNELLE  (1)
  73. Business Information Systems  (1)
  74. Logic  (1)
  75. Calcul des propositions  (1)
  76. Compilation (informatique)  (1)
  77. Logic programming languages  (1)
  78. Représentation des connaissances  (1)
  79. Inférence  (1)
  80. Information theory  (1)
  81. Autres open sub menu

Auteur 

  1. Voronkov, Andrei  (9)
  2. Dix, Jürgen  (5)
  3. Deransart, Pierre  (4)
  4. Nerode, Anil  (4)
  5. Bruynooghe, Maurice  (4)
  6. Fujisaki, Tetsunosuke  (3)
  7. Schroeder-Heister, Peter  (3)
  8. Rodriguez Artalejo, Mario  (3)
  9. Apt, Krzysztof R  (3)
  10. Przymusinski, Teodor C  (3)
  11. Tanaka, Hozumi  (3)
  12. Gribomont, Pascal  (3)
  13. Stuckey, Peter J  (3)
  14. Furukawa, Kōichi  (3)
  15. Thayse, André  (3)
  16. Małuszyński, Jan  (3)
  17. Hogger, Christopher John  (3)
  18. Penjam, Jaan  (2)
  19. Lifschitz, Vladimir  (2)
  20. Džeroski, Sašo  (2)
  21. Fuchs, Norbert  (2)
  22. Dahl, Veronica  (2)
  23. Levi, Giorgio  (2)
  24. Sadri, Fariba  (2)
  25. Robinson, John Alan  (2)
  26. Schmitt, Peter H  (2)
  27. Pereira, Luís Moniz  (2)
  28. Miller, Dale  (2)
  29. Jantke, Klaus Peter  (2)
  30. Kakas, Antonis C  (2)
  31. Lau, Kung-Kiu  (2)
  32. Sterling, Leon  (2)
  33. Shapiro, Ehud Y  (2)
  34. Pfenning, Frank  (2)
  35. Lloyd, John Wylie  (2)
  36. Gabbay, Dov M  (2)
  37. Kirchner, Hélène  (2)
  38. Saint-Dizier, Patrick. Chercheur en informatique  (2)
  39. Treinen, Ralf  (2)
  40. Lassez, Jean-Louis  (2)
  41. Wechler, Wolfgang  (2)
  42. Van Hentenryck, Pascal  (2)
  43. Hermenegildo, Manuel  (2)
  44. Wada, Eiiti  (2)
  45. Wirsing, Martin  (2)
  46. Marché, Claude. chercheur en informatique  (2)
  47. Fages, François  (2)
  48. Gochet, Paul  (2)
  49. Hanus, Michael  (2)
  50. Dyckhoff, Roy  (2)
  51. Bossi, Annalisa  (1)
  52. Parigot, Michel  (1)
  53. Grabowski, Jan  (1)
  54. Louis, Georges  (1)
  55. Page, David  (1)
  56. Bolc, Leonard  (1)
  57. Jorge, Alípio  (1)
  58. Nipkow, Tobias  (1)
  59. Quiniou, René  (1)
  60. Schiex, Thomas  (1)
  61. Goos, Gerhard  (1)
  62. NAQVI, S  (1)
  63. Abdennadher, Slim  (1)
  64. Ganzinger, Harald  (1)
  65. Rossi, Francesca  (1)
  66. Srinivasan, Ashwin  (1)
  67. Baaz, Matthias  (1)
  68. Bagchi, Tapan Prasad  (1)
  69. Mulkers, Anne  (1)
  70. Jacquet, Jean-Marie  (1)
  71. Colmerauer, Anne  (1)
  72. McAllester, David  (1)
  73. Leone, Nicola  (1)
  74. Malcolm, Grant  (1)
  75. École doctorale en Informatique et Mathématiques de Lyon  (1)
  76. Marek, V. Wiktor  (1)
  77. Faber, Wolfgang  (1)
  78. Eiter, Thomas  (1)
  79. Rautenberg, Wolfgang  (1)
  80. Truszczyński, Miros law  (1)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1991  (19)
  2. 1991 à 1995  (20)
  3. 1996 à 2000  (15)
  4. 2001 à 2006  (95)
  5. Après 2006  (5)
  6. Autres open sub menu

Langue 

  1. Anglais  (138)
  2. Français  (16)
  3. Autres open sub menu

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Voronkov, Andrei
  2. Dix, Jürgen
  3. Deransart, Pierre
  4. Nerode, Anil
  5. Bruynooghe, Maurice

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.