skip to main content
Langue :
COVID-19 : bibliothèque fermée. En savoir plus COVID-19 : bibliothèque fermée. En savoir plus Afficher les résultats avec :

Résultats 1 - 10 sur 156  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
Logic programming : 4th International Conference ..., Melbourne, May 25-29, 1987. Vol. 2. Parallelism, Applications, Program analysis, Concurrent languages, Invited talks
Material Type:
Livre
Ajouter au Panier

Logic programming : 4th International Conference ..., Melbourne, May 25-29, 1987. Vol. 2. Parallelism, Applications, Program analysis, Concurrent languages, Invited talks

Lassez, Jean-Louis

Appartient à la collection : MIT Press series in logic programming

Cambridge, Ma. : The MIT Press, 1987

Disponible(->>)

2
Logic programming : 4th International Conference ..., Melbourne, May 25-29, 1987. Vol. 1
Material Type:
Livre
Ajouter au Panier

Logic programming : 4th International Conference ..., Melbourne, May 25-29, 1987. Vol. 1

Lassez, Jean-Louis

Appartient à la collection : MIT Press series in logic programming

Cambridge, Ma. : The MIT Press, 1987

Pour consulter ce document, s'adresser aux bibliothécaires(->>)

3
Functional and logic programming
Material Type:
Livre
Ajouter au Panier

Functional and logic programming

IDA, T ; OHORI, A ; TAKEICHI, M

WORLD SCIENTIFIC, 1997

Disponible(->>)

4
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(->>)

5
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(->>)

6
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(->>)

7
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(->>)

8
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(->>)

9
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(->>)

10
Principles and practice of constraint programming : the Newport papers
Material Type:
Livre
Ajouter au Panier

Principles and practice of constraint programming : the Newport papers

Saraswat, Vijay A (Ed.) ; Van Hentenryck, Pascal (1963-...) (Ed.) ; Kanellakis, Paris Christos (1953-1995) (Collab.) ; Lassez, Jean-Louis (Collab.) ; Wachter, Ralph (Collab.)

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

Disponible(->>)

Résultats 1 - 10 sur 156  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  (55)
  3. Thèses ou mémoires  (3)
  4. Autres open sub menu

Localisation 

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

Sujet 

  1. Programmation logique  (148)
  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  (3)
  39. Programming languages (Electronic computers). Semantics  (3)
  40. Structures de données (informatique)  (3)
  41. Algorithm Analysis and Problem Complexity  (3)
  42. Décidabilité (logique mathématique)  (3)
  43. Logic programming. Congresses  (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. Lassez, Jean-Louis  (4)
  6. Bruynooghe, Maurice  (4)
  7. Fujisaki, Tetsunosuke  (3)
  8. Schroeder-Heister, Peter  (3)
  9. Rodriguez Artalejo, Mario  (3)
  10. Apt, Krzysztof R  (3)
  11. Przymusinski, Teodor C  (3)
  12. Tanaka, Hozumi  (3)
  13. Gribomont, Pascal  (3)
  14. Stuckey, Peter J  (3)
  15. Furukawa, Kōichi  (3)
  16. Thayse, André  (3)
  17. Małuszyński, Jan  (3)
  18. Hogger, Christopher John  (3)
  19. Penjam, Jaan  (2)
  20. Lifschitz, Vladimir  (2)
  21. Džeroski, Sašo  (2)
  22. Fuchs, Norbert  (2)
  23. Dahl, Veronica  (2)
  24. Levi, Giorgio  (2)
  25. Sadri, Fariba  (2)
  26. Robinson, John Alan  (2)
  27. Schmitt, Peter H  (2)
  28. Pereira, Luís Moniz  (2)
  29. Miller, Dale  (2)
  30. Jantke, Klaus Peter  (2)
  31. Kakas, Antonis C  (2)
  32. Lau, Kung-Kiu  (2)
  33. Sterling, Leon  (2)
  34. Shapiro, Ehud Y  (2)
  35. Pfenning, Frank  (2)
  36. Lloyd, John Wylie  (2)
  37. Gabbay, Dov M  (2)
  38. Kirchner, Hélène  (2)
  39. Saint-Dizier, Patrick. Chercheur en informatique  (2)
  40. Treinen, Ralf  (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  (21)
  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  (140)
  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. Lassez, Jean-Louis

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.