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 227  pour Tout le catalogue

résultats 1 2 3 4 5 next page
Filtré par : sujet: Logic design supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Over-Constrained Systems
Material Type:
ebook
Ajouter au Panier

Over-Constrained Systems

Freuder, Eugene C (Ed.) ; Maher, Michael J (Ed.) ; Jampel, Michael (Ed.)

Lecture Notes in Computer Science ; 1106

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

2
Principles and Practice of Constraint Programming — CP '95 : First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings
Material Type:
ebook
Ajouter au Panier

Principles and Practice of Constraint Programming — CP '95 : First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings

Rossi, Francesca ; Montanari, Ugo (Ed.) ; Rossi, Francesca (1962-...) (Ed.)

Lecture Notes in Computer Science ; 976

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

3
Foundations of Information and Knowledge Systems : Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20–23, 2002 Proceedings
Material Type:
ebook
Ajouter au Panier

Foundations of Information and Knowledge Systems : Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20–23, 2002 Proceedings

Schewe, Klaus-Dieter (Ed.) ; Eiter, Thomas (1966-...) (Ed.)

Lecture Notes in Computer Science ; 2284

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

4
Formal Approaches to Agent-Based Systems : First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers
Material Type:
ebook
Ajouter au Panier

Formal Approaches to Agent-Based Systems : First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers

Truszkowski, Walt (Ed.) ; Rouff, Christopher A (Ed.) ; Hinchey, Michael G (Ed.) ; Gordon, Diana (Ed.) ; Rash, James L (Ed.)

Lecture Notes in Computer Science ; 1871

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

5
Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14–18, 1986 Proceedings
Material Type:
ebook
Ajouter au Panier

Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14–18, 1986 Proceedings

Shapiro, Ehud Y (1955-...) (Ed.)

Lecture Notes in Computer Science ; 225

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

6
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

7
Abstraction, Reformulation, and Approximation : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings
Material Type:
ebook
Ajouter au Panier

Abstraction, Reformulation, and Approximation : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings

Walsh, Toby (1964-...) (Ed.) ; Choueiry, Berthe Y (Ed.)

Lecture Notes in Computer Science ; 1864

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

8
Issues in Agent Communication
Material Type:
ebook
Ajouter au Panier

Issues in Agent Communication

Dignum, Frank (Ed.) ; Greaves, Mark (1965-...) (Ed.)

Lecture Notes in Computer Science ; 1916

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

9
Logical Aspects of Computational Linguistics : Second International Conference, LACL'97 Nancy, France, September 22-24, 1997 Selected Papers
Material Type:
ebook
Ajouter au Panier

Logical Aspects of Computational Linguistics : Second International Conference, LACL'97 Nancy, France, September 22-24, 1997 Selected Papers

Lecomte, Alain ; Lamarche, François (Ed.) ; Perrier, Guy (Ed.) ; Lecomte, Alain (1947-...) (Ed.)

Lecture Notes in Computer Science ; 1582

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

10
Adaptive Agents and Multi-Agent Systems : Adaptation and Multi-Agent Learning
Material Type:
ebook
Ajouter au Panier

Adaptive Agents and Multi-Agent Systems : Adaptation and Multi-Agent Learning

Kazakov, Dimitar (Ed.) ; Kudenko, Daniel (Ed.) ; Alonso, Eduardo (Ed.)

Lecture Notes in Computer Science ; 2636

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

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

résultats 1 2 3 4 5 next page

Refine Search Results

Affiner vos résultats

Sujet 

  1. Intelligence artificielle  (226)
  2. Artificial intelligence  (224)
  3. Artificial Intelligence (incl. Robotics)  (223)
  4. Logics and Meanings of Programs  (216)
  5. Logique mathématique  (161)
  6. Mathematical Logic and Formal Languages  (158)
  7. Software engineering  (90)
  8. Ordinateurs. Programmation  (89)
  9. Programming Languages, Compilers, Interpreters  (88)
  10. Langages de programmation  (88)
  11. Génie logiciel  (88)
  12. Programming Techniques  (66)
  13. Programmation logique  (45)
  14. Réseaux d'ordinateurs  (35)
  15. Théorèmes. Démonstration automatique  (35)
  16. Computer Communication Networks  (35)
  17. Structure logique  (28)
  18. Logic, Symbolic and mathematical  (27)
  19. Mathematical Logic and Foundations  (27)
  20. Agents intelligents (logiciels)  (21)
  21. Algorithmes  (19)
  22. Computation by Abstract Devices  (17)
  23. Logique informatique  (17)
  24. Information Storage and Retrieval  (16)
  25. Informatique documentaire  (16)
  26. Algebra. Data processing  (16)
  27. Programmation par contraintes  (16)
  28. Information storage and retrieval systems  (16)
  29. Symbolic and Algebraic Manipulation  (16)
  30. Special Purpose and Application-Based Systems  (13)
  31. Information systems  (13)
  32. Computers, Special purpose  (13)
  33. Database management  (13)
  34. Ordinateurs  (11)
  35. Réécriture, Systèmes de (informatique)  (10)
  36. Information Systems Applications (incl Internet)  (9)
  37. Algorithm Analysis and Problem Complexity  (9)
  38. Circuits intégrés  (9)
  39. Computer software  (9)
  40. Intelligent agents (Computer software)  (8)
  41. Ingénierie assistée par ordinateur  (8)
  42. Essais  (7)
  43. Programming languages (Electronic computers)  (7)
  44. Computer simulation  (7)
  45. Simulation par ordinateur  (7)
  46. Simulation and Modeling  (7)
  47. Logiciels. Vérification  (7)
  48. Logiciels  (6)
  49. Computer-Aided Engineering (CAD, CAE) and Design  (6)
  50. Conception assistée par ordinateur  (6)
  51. Compilateurs (logiciels)  (6)
  52. Computer-aided design  (6)
  53. Évaluation  (5)
  54. Programmation évolutionnaire  (5)
  55. Microprocesseurs  (5)
  56. Semantic Web  (5)
  57. Logiciels. Essais  (5)
  58. Types abstraits de données (informatique)  (5)
  59. Computer hardware  (5)
  60. Programmation fonctionnelle (informatique)  (5)
  61. Integrated circuits. Verification  (5)
  62. Web sémantique  (4)
  63. Sites Web. Développement  (4)
  64. Analyse combinatoire  (4)
  65. Computer Appl. in Life Sciences  (4)
  66. Combinatorics  (4)
  67. Biologie. Informatique  (4)
  68. Calcul évolutionnaire  (4)
  69. Biology. Data processing  (4)
  70. Circuits intégrés numériques. Conception et construction  (4)
  71. Logique algébrique  (4)
  72. Electronics and Microelectronics, Instrumentation  (3)
  73. Conception et construction  (3)
  74. Intelligence artificielle répartie  (3)
  75. Electronic digital computers. Evaluation  (3)
  76. Gestion des connaissances  (3)
  77. Programmation déclarative  (3)
  78. Traitement réparti  (3)
  79. Autres open sub menu

Auteur 

  1. Voronkov, Andrei  (6)
  2. Börger, Egon  (6)
  3. Kleine Büning, Hans  (6)
  4. Richter, Michael M  (5)
  5. Nipkow, Tobias  (4)
  6. Rodriguez Artalejo, Mario  (4)
  7. Rossi, Francesca  (4)
  8. Bruynooghe, Maurice  (4)
  9. Bjørner, Dines  (3)
  10. Meyer, John-Jules Charles  (3)
  11. Broy, Manfred  (3)
  12. Palamidessi, Catuscia  (3)
  13. Singh, Munindar Paul  (3)
  14. Lau, Kung-Kiu  (3)
  15. Ganzinger, Harald  (3)
  16. Hunt, Warren A. Jr  (3)
  17. Schewe, Klaus-Dieter  (3)
  18. Stuckey, Peter J  (3)
  19. Kuchen, Herbert  (3)
  20. Wirsing, Martin  (3)
  21. Wooldridge, Michael J  (3)
  22. Comon-Lundh, Hubert  (3)
  23. Penjam, Jaan  (2)
  24. Schroeder-Heister, Peter  (2)
  25. Paulin-Mohring, Christine  (2)
  26. Lee, Jaeho  (2)
  27. Nordström, Bengt  (2)
  28. Fribourg, Laurent  (2)
  29. Alur, Rajeev  (2)
  30. Laddaga, Robert  (2)
  31. Glaser, Hugh  (2)
  32. Müller, Jörg P  (2)
  33. Odell, James J  (2)
  34. Smith, Jan  (2)
  35. Boley, Harold  (2)
  36. Robertson, Paul  (2)
  37. Pereira, Luís Moniz  (2)
  38. Ciancarini, Paolo  (2)
  39. Jantke, Klaus Peter  (2)
  40. Hartmanis, Juris  (2)
  41. Harrison, John  (2)
  42. Maher, Michael J  (2)
  43. Apt, Krzysztof R  (2)
  44. Paulson, Lawrence C  (2)
  45. Goos, Gerhard  (2)
  46. Grundy, Jim  (2)
  47. Wagner, Gerd  (2)
  48. Rusinowitch, Michaël  (2)
  49. Shrobe, Howie  (2)
  50. Baaz, Matthias  (2)
  51. Swierstra, S. Doaitse  (2)
  52. Dignum, Frank  (2)
  53. Pottosin, Igor V  (2)
  54. Dix, Jürgen  (2)
  55. Deransart, Pierre  (2)
  56. Iwata, Masaya  (2)
  57. Meinke, Karl  (2)
  58. Unger, Herwig  (2)
  59. Kirchner, Hélène  (2)
  60. Thalheim, Bernhard  (2)
  61. Dybjer, Peter  (2)
  62. Böhme, Thomas  (2)
  63. Małuszyński, Jan  (2)
  64. Lespérance, Yves  (2)
  65. Hermenegildo, Manuel  (2)
  66. Coppo, Mario  (2)
  67. Sato, Masahiko  (2)
  68. McAllester, David  (2)
  69. Higuchi, Tetsuya  (2)
  70. Berardi, Stefano  (2)
  71. Walsh, Toby  (2)
  72. Vardi, Moshe Y  (2)
  73. Middeldorp, Aart  (2)
  74. Hu, Alan J  (2)
  75. Basin, David  (2)
  76. Rash, James L  (2)
  77. Freuder, Eugene C  (2)
  78. Schmitt, Peter H  (1)
  79. Berghammer, Rudolf  (1)
  80. Lescanne, Pierre  (1)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 2000  (15)
  2. 2000 à 2001  (43)
  3. 2002 à 2003  (55)
  4. 2004 à 2006  (108)
  5. Après 2006  (6)
  6. 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.