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 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
Vivid Logic : Knowledge-Based Reasoning with Two Kinds of Negation
Material Type:
ebook
Ajouter au Panier

Vivid Logic : Knowledge-Based Reasoning with Two Kinds of Negation

Wagner, Gerd

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

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

3
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

4
Meta-Programming in Logic : Third International Workshop, META-92 Uppsala, Sweden, June 10–12, 1992 Proceedings
Material Type:
ebook
Ajouter au Panier

Meta-Programming in Logic : Third International Workshop, META-92 Uppsala, Sweden, June 10–12, 1992 Proceedings

Pettorossi, A (Ed.)

Lecture Notes in Computer Science ; 649

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

5
Temporal Logic : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings
Material Type:
ebook
Ajouter au Panier

Temporal Logic : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings

Ohlbach, Hans Jürgen (Ed.) ; Gabbay, Dov M (1945-...) (Ed.)

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

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

6
Resolution Methods for the Decision Problem
Material Type:
ebook
Ajouter au Panier

Resolution Methods for the Decision Problem

Zamov, N (Ed.) ; Fermüller, Christian G (Ed.) ; Leitsch, Alexander (1952-...) (Ed.) ; Tammet, T (Ed.)

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

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

7
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

8
Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings
Material Type:
ebook
Ajouter au Panier

Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings

Moscato, U (Ed.) ; Ornaghi, M (Ed.) ; Mundici, Daniele (1946-...) (Ed.) ; Miglioli, P (Ed.)

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

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

9
Computer Science Logic : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Meinke, Karl (Ed.) ; Börger, Egon (1946-...) (Ed.) ; Gurevich, Yuri (Ed.)

Lecture Notes in Computer Science ; 832

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

10
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

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. Induction (logique)  (1)
  38. Monoïdes  (1)
  39. Semantics--Data processing  (1)
  40. Motor vehicles--Design and construction  (1)
  41. Réseaux neuronaux (informatique)  (1)
  42. Combinatorics  (1)
  43. Computer aided design  (1)
  44. Systèmes flous  (1)
  45. Informatique. Mathématiques  (1)
  46. Pattern recognition  (1)
  47. Ordinateurs  (1)
  48. Langages de programmation. Sémantique  (1)
  49. Analogie (philosophie)  (1)
  50. Dynamique  (1)
  51. Geometry, Algebraic  (1)
  52. Programmation par contraintes  (1)
  53. Géométrie algébrique  (1)
  54. Prise de décision  (1)
  55. Méthodes formelles (informatique)  (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.