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

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

2
Logics in Artificial Intelligence : European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings
Material Type:
ebook
Ajouter au Panier

Logics in Artificial Intelligence : European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings

Pearce, David W (1941-...) () ; Pereira, Luís Moniz (1947-...) (Ed.) ; MacNish, Craig (Ed.) ; Pearce, David (Ed.)

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

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

3
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

4
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

5
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

6
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

7
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

8
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

9
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

10
Communication in Multiagent Systems : Agent Communication Languages and Conversation Policies
Material Type:
ebook
Ajouter au Panier

Communication in Multiagent Systems : Agent Communication Languages and Conversation Policies

Huget, Marc-Philippe (19..-...) (Ed.)

Lecture Notes in Computer Science ; 2650

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

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

résultats 1 2 3 4 5 next page

Refine Search Results

Affiner vos résultats

Sujet 

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

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 2000  (15)
  2. 2000 à 2001  (42)
  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.