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

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

résultats 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Distributed Artificial Intelligence Architecture and Modelling : First Australian Workshop on DAI Canberra, ACT, Australia, November 13, 1995 Proceedings
Material Type:
ebook
Ajouter au Panier

Distributed Artificial Intelligence Architecture and Modelling : First Australian Workshop on DAI Canberra, ACT, Australia, November 13, 1995 Proceedings

Zhang, Chengqi (1957-...) (Ed.) ; Lukose, Dickson (Ed.)

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

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

2
Fundamentals of Artificial Intelligence Research : International Workshop FAIR '91 Smolenice, Czechoslovakia, September 8–13, 1991 Proceedings
Material Type:
ebook
Ajouter au Panier

Fundamentals of Artificial Intelligence Research : International Workshop FAIR '91 Smolenice, Czechoslovakia, September 8–13, 1991 Proceedings

Kelemen, Jozef (1951-...) (Ed.) ; Jorrand, Philippe (Ed.)

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

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

3
Logics in Artificial Intelligence : European Workshop, JELIA’ 98 Dagstuhl, Germany, October 12–15, 1998 Proceedings
Material Type:
ebook
Ajouter au Panier

Logics in Artificial Intelligence : European Workshop, JELIA’ 98 Dagstuhl, Germany, October 12–15, 1998 Proceedings

Fariñas del Cerro, Luis (chercheur en informatique) (19..-...) (Ed.) ; Dix, Jürgen (1961-...) (Ed.) ; Furbach, Ulrich (Ed.)

Lecture Notes in Computer Science ; 1489

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

4
Term Indexing
Material Type:
ebook
Ajouter au Panier

Term Indexing

Graf, Peter ; Graf, Peter (1966-...) (Ed.)

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

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

5
Computer Science Logic : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers

Tiuryn, Jerzy (Ed.) ; Pacholski, Leszek (19...-) (Ed.)

Lecture Notes in Computer Science ; 933

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

6
Automated Deduction — CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings
Material Type:
ebook
Ajouter au Panier

Automated Deduction — CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings

Bundy, Alan R (1947-...) (Ed.)

Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence (LNAI) ; 814

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

7
Logic Programming : First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11–16, 1991 Proceedings
Material Type:
ebook
Ajouter au Panier

Logic Programming : First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11–16, 1991 Proceedings

Voronkov, Andrei (1959-...) (Ed.)

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

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

8
Conditional Term Rewriting Systems : Third International Workshop, CTRS-92 Point-à-Mousson, France, July 8–10 1992 Proceedings
Material Type:
ebook
Ajouter au Panier

Conditional Term Rewriting Systems : Third International Workshop, CTRS-92 Point-à-Mousson, France, July 8–10 1992 Proceedings

Rémy, Jean-Luc (Ed.) ; Rusinowitch, Michaël (1956-...) (Ed.)

Lecture Notes in Computer Science ; 656

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

9
Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings
Material Type:
ebook
Ajouter au Panier

Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings

Voronkov, Andrei (1959-...) (Ed.)

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

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

10
Logic Programming and Automated Reasoning : International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings
Material Type:
ebook
Ajouter au Panier

Logic Programming and Automated Reasoning : International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings

Voronkov, Andrei (1959-...) (Ed.)

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

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

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

résultats 1 2 3 4 5 next page

Refine Search Results

Affiner vos résultats

Sujet 

  1. Mathematical Logic and Formal Languages  (60)
  2. Logics and Meanings of Programs  (27)
  3. Logic design  (27)
  4. Théorèmes. Démonstration automatique  (24)
  5. Programmation logique  (13)
  6. Logique informatique  (10)
  7. Ordinateurs. Programmation  (10)
  8. Programming Languages, Compilers, Interpreters  (6)
  9. Langages de programmation  (6)
  10. Programming Techniques  (6)
  11. Algorithmes  (6)
  12. Théorie de la démonstration  (6)
  13. Computation by Abstract Devices  (5)
  14. Algorithm Analysis and Problem Complexity  (5)
  15. Computer software  (5)
  16. Raisonnement  (4)
  17. Génie logiciel  (4)
  18. Software engineering  (4)
  19. Natural language processing (Computer science)  (3)
  20. Réécriture, Systèmes de (informatique)  (3)
  21. Logique mathématique non classique  (3)
  22. Data structures (Computer science)  (2)
  23. Réseaux d'ordinateurs  (2)
  24. Structures de données (informatique)  (2)
  25. Algebra. Data processing  (2)
  26. Systèmes experts (informatique)  (2)
  27. Computer Communication Networks  (2)
  28. Groupes, Théorie des  (2)
  29. Data Structures  (2)
  30. Modalité (logique)  (2)
  31. Inférence  (2)
  32. Symbolic and Algebraic Manipulation  (2)
  33. Structure logique  (1)
  34. Electronic data processing  (1)
  35. Parallélisme (informatique)  (1)
  36. Semigroupes  (1)
  37. Semantics. Data processing  (1)
  38. Induction (logique)  (1)
  39. Monoïdes  (1)
  40. Motor vehicles--Design and construction  (1)
  41. Réseaux neuronaux (informatique)  (1)
  42. Combinatorics  (1)
  43. Systèmes flous  (1)
  44. Informatique. Mathématiques  (1)
  45. Pattern recognition  (1)
  46. Ordinateurs  (1)
  47. Langages de programmation. Sémantique  (1)
  48. Analogie (philosophie)  (1)
  49. Dynamique  (1)
  50. Geometry, Algebraic  (1)
  51. Programmation par contraintes  (1)
  52. Géométrie algébrique  (1)
  53. Prise de décision  (1)
  54. Méthodes formelles (informatique)  (1)
  55. Biology. Data processing  (1)
  56. Intelligence artificielle répartie  (1)
  57. Complexité de calcul (informatique)  (1)
  58. Computer graphics  (1)
  59. Tri (informatique)  (1)
  60. Raisonnement non-monotone  (1)
  61. Perception des structures  (1)
  62. Automates mathématiques, Théorie des  (1)
  63. System analysis  (1)
  64. Systems and Information Theory in Engineering  (1)
  65. Prolog (langage de programmation)  (1)
  66. Raison pratique  (1)
  67. Ingénierie assistée par ordinateur  (1)
  68. Reasoning  (1)
  69. Systèmes, Conception de  (1)
  70. Logique  (1)
  71. Ensembles flous  (1)
  72. Algebraic geometry  (1)
  73. Algèbre  (1)
  74. Autres open sub menu

Auteur 

  1. Leitsch, Alexander  (4)
  2. Voronkov, Andrei  (3)
  3. Mundici, Daniele  (3)
  4. Gottlob, Georg  (3)
  5. Jantke, Klaus Peter  (3)
  6. Nordström, Bengt  (2)
  7. Smith, Jan  (2)
  8. Schmitt, Peter H  (2)
  9. Pearce, David A  (2)
  10. Hartmanis, Juris  (2)
  11. Nipkow, Tobias  (2)
  12. Wansing, Heinrich  (2)
  13. Goos, Gerhard  (2)
  14. Wagner, Gerd  (2)
  15. Gabbay, Dov M  (2)
  16. Dix, Jürgen  (2)
  17. Ohlbach, Hans Jürgen  (2)
  18. Dybjer, Peter  (2)
  19. Baumgartner, Peter  (2)
  20. Graf, Peter  (1)
  21. Melham, Thomas F  (1)
  22. Gurevich, Yuri  (1)
  23. Tiuryn, Jerzy  (1)
  24. Rémy, Jean-Luc  (1)
  25. Nielsen, Mogens  (1)
  26. Galmiche, Didier  (1)
  27. Grandjean, Etienne. mathématicien  (1)
  28. Coquand, Thierry  (1)
  29. Kapur, Deepak  (1)
  30. Stärk, Robert F  (1)
  31. Giunchiglia, Enrico  (1)
  32. European Association for Computer Science Logic. Conference. 9th  (1)
  33. Tammet, T  (1)
  34. Leeuwen, Jan van  (1)
  35. Possega, Joachim  (1)
  36. Harrison, John  (1)
  37. Rodriguez Artalejo, Mario  (1)
  38. Kemmerich, Susanne  (1)
  39. Grandjean, Etienne  (1)
  40. Camilleri, Juanito  (1)
  41. Paulson, Lawrence C  (1)
  42. Bürckert, H. -J  (1)
  43. Pearce, David W  (1)
  44. Brewka, Gerhard  (1)
  45. ODonnell, Michael J  (1)
  46. Grundy, Jim  (1)
  47. Slaney, J. K  (1)
  48. Rusinowitch, Michaël  (1)
  49. Meyer, Albert R  (1)
  50. Clote, Peter G  (1)
  51. Pfenning, Frank  (1)
  52. Studer, Rudi  (1)
  53. Schwichtenberg, Helmut  (1)
  54. Meinke, Karl  (1)
  55. Bundy, Alan R  (1)
  56. Kahle, Reinhard  (1)
  57. Leeuwen, Jan  (1)
  58. Hagiya, Masami  (1)
  59. Andersson, Stig Ingvar  (1)
  60. Lukose, Dickson  (1)
  61. Hähnle, Reiner  (1)
  62. Nielsen, Mogens Peter  (1)
  63. Sato, Masahiko  (1)
  64. Jorrand, Philippe  (1)
  65. McAllester, David  (1)
  66. Kleine Büning, Hans  (1)
  67. Klement, Erich Peter  (1)
  68. Zhang, Chengqi  (1)
  69. Eijck, Jan van  (1)
  70. Ornaghi, M  (1)
  71. Fisher, Michael  (1)
  72. Marché, Claude. chercheur en informatique  (1)
  73. McCune, William Walker  (1)
  74. Schulz, K. U  (1)
  75. Flum, Jörg  (1)
  76. Miglioli, P  (1)
  77. Tacchella, Armando  (1)
  78. Myers, J. Paul  (1)
  79. Padmanabhan, R  (1)
  80. Comon-Lundh, Hubert  (1)
  81. Autres open sub menu

Date de parution 

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