skip to main content
Langue :
Ouverture adaptée (COVID-19) 

Retrait de documents sur rendez-vous. Travail sur place sur réservation
Ouverture adaptée (COVID-19) 

Retrait de documents sur rendez-vous. Travail sur place sur réservation
Afficher les résultats avec :

Résultats 1 - 10 sur 148  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

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

Indisponible     (->>)

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

Functional and logic programming

IDA, T ; OHORI, A ; TAKEICHI, M

WORLD SCIENTIFIC, 1997

Indisponible     (->>)

5
A concise introduction to mathematical logic
Material Type:
Livre
Ajouter au Panier

A concise introduction to mathematical logic

Rautenberg, Wolfgang (1936-...)

Appartient à la collection : Universitext (Berlin. Print), ISSN 0172-5939

New York. Springer, cop. 2010

Indisponible     (->>)

6
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

Indisponible     (->>)

7
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

Indisponible     (->>)

8
P-Prolog : a parallel logic programming language
Material Type:
Livre
Ajouter au Panier

P-Prolog : a parallel logic programming language

Yang, Rong

Appartient à la collection : Series in computer science, 9

Singapore. New Jersey. London. World scientific, 1987

Indisponible     (->>)

9
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

Indisponible     (->>)

10
Programming in Prolog
Material Type:
Livre
Ajouter au Panier

Programming in Prolog

Clocksin, William F ; Mellish, Christopher S

Berlin. Heidelberg. New York [etc.]. Springer-Verl, cop. 1987

Indisponible     (->>)

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

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (100)

Affiner vos résultats

Type de ressource 

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

Localisation 

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

Sujet 

  1. Programmation logique  (140)
  2. Computer science  (99)
  3. Intelligence artificielle  (98)
  4. Informatique  (98)
  5. Artificial intelligence  (94)
  6. Artificial Intelligence (incl. Robotics)  (91)
  7. Logique mathématique  (84)
  8. Mathematical Logic and Formal Languages  (72)
  9. Ordinateurs. Programmation  (71)
  10. Programming Techniques  (69)
  11. Logics and Meanings of Programs  (51)
  12. Logic design  (51)
  13. Langages de programmation  (36)
  14. Programming Languages, Compilers, Interpreters  (34)
  15. Logic, Symbolic and mathematical  (18)
  16. Logic programming  (18)
  17. Génie logiciel  (14)
  18. Mathematical Logic and Foundations  (14)
  19. Software engineering  (14)
  20. Théorèmes. Démonstration automatique  (13)
  21. Induction (logique)  (11)
  22. Prolog (langage de programmation)  (8)
  23. Raisonnement non-monotone  (6)
  24. Programmation fonctionnelle (informatique)  (6)
  25. Raisonnement  (5)
  26. Programming languages (Electronic computers)  (5)
  27. Langages de programmation. Sémantique  (5)
  28. Programmation par contraintes  (5)
  29. Modalité (logique)  (5)
  30. Logique algébrique  (5)
  31. Parallélisme (informatique)  (4)
  32. Programmation logique. Actes de congrès  (4)
  33. Algorithmes  (4)
  34. Programmation parallèle (informatique)  (4)
  35. Database management  (4)
  36. Logique  (4)
  37. Structures de données (informatique)  (3)
  38. Algorithm Analysis and Problem Complexity  (3)
  39. Logic programming. Congresses  (3)
  40. Programming languages (Electronic computers)--Semantics  (3)
  41. Computer Science, general  (3)
  42. Bases de données déductives  (3)
  43. Computer software  (3)
  44. Structure logique  (2)
  45. Data structures (Computer science)  (2)
  46. Logique informatique  (2)
  47. Bases de données relationnelles  (2)
  48. Language Translation and Linguistics  (2)
  49. Linguistique. Informatique  (2)
  50. Logic, Symbolic and mathematical. Congresses  (2)
  51. Types abstraits de données (informatique)  (2)
  52. Systèmes experts (informatique)  (2)
  53. Algebra--Data processing  (2)
  54. Translators (Computer programs)  (2)
  55. Programmation (mathématiques)  (2)
  56. Prolog (Computer program language)  (2)
  57. Symbolic and Algebraic Manipulation  (2)
  58. Mélanges et hommages  (2)
  59. Programmation par contraintes. Actes de congrès  (1)
  60. Systèmes, Analyse de  (1)
  61. Automatic hypothesis formation  (1)
  62. Informatique documentaire  (1)
  63. Théorie des modèles  (1)
  64. Calcul des prédicats  (1)
  65. Natural language processing (Computer science)  (1)
  66. Intelligence. Simulation, Méthodes de  (1)
  67. Logic programming (Computer science)  (1)
  68. PROGRAMMATION FONCTIONNELLE  (1)
  69. Business Information Systems  (1)
  70. Mathematics  (1)
  71. Déduction (logique)  (1)
  72. Information storage and retrieval systems  (1)
  73. Logic  (1)
  74. Data Structures  (1)
  75. Compilation (informatique)  (1)
  76. Logic programming languages  (1)
  77. Représentation des connaissances  (1)
  78. Mathematical logic  (1)
  79. Contraintes (intelligence artificielle)  (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. Stuckey, Peter J  (3)
  13. Furukawa, Kōichi  (3)
  14. Thayse, André  (3)
  15. Lassez, Jean-Louis  (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. Shapiro, Ehud Y  (2)
  33. Pfenning, Frank  (2)
  34. Lloyd, John Wylie  (2)
  35. Gabbay, Dov M  (2)
  36. Gribomont, Pascal  (2)
  37. Kirchner, Hélène  (2)
  38. Saint-Dizier, Patrick. Chercheur en informatique  (2)
  39. Treinen, Ralf  (2)
  40. Wechler, Wolfgang  (2)
  41. Hermenegildo, Manuel  (2)
  42. Wada, Eiiti  (2)
  43. Wirsing, Martin  (2)
  44. Marché, Claude. chercheur en informatique  (2)
  45. Fages, François  (2)
  46. Hanus, Michael  (2)
  47. Dyckhoff, Roy  (2)
  48. Rautenberg, Wolfgang  (2)
  49. Bossi, Annalisa  (1)
  50. Flener, Pierre  (1)
  51. Plümer, Lutz  (1)
  52. Thibau, Violaine  (1)
  53. Jorge, Alípio  (1)
  54. King, Ross  (1)
  55. Crossley, John N  (1)
  56. Váncza, Josef  (1)
  57. Pettorossi, A  (1)
  58. Maher, Michael J  (1)
  59. Goos, Gerhard  (1)
  60. Palamidessi, Catuscia  (1)
  61. Fariñas del Cerro, Luis.chercheur en informatique  (1)
  62. Ratcliffe, Michael  (1)
  63. Schwichtenberg, Helmut  (1)
  64. Mello, P  (1)
  65. Leeuwen, Jan  (1)
  66. Mellish, Christopher S  (1)
  67. Szalas, Andrzej  (1)
  68. Sebag, Michèle  (1)
  69. Beaumont, Anthony  (1)
  70. Malcolm, Grant  (1)
  71. Muggleton, Stephen  (1)
  72. Tsouanas, Athanasios  (1)
  73. Eriksson, L. -H  (1)
  74. Flach, Peter A  (1)
  75. Gochet, Paul  (1)
  76. Lorho, Bernard  (1)
  77. Marek, V. Wiktor  (1)
  78. Kameyama, Yukiyoshi  (1)
  79. Fermaut, Clotilde  (1)
  80. Universität Bremen  (1)
  81. Autres open sub menu

Date de parution 

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

Langue 

  1. Anglais  (134)
  2. Français  (13)
  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.