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 1 192  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
Labelled non-classical logics
Material Type:
Livre
Ajouter au Panier

Labelled non-classical logics

Viganò, Luca

Boston. Dordrecht. London. Kluwer Academic Publishers, 2000

Indisponible     (->>)

2
Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Material Type:
ebook
Ajouter au Panier

Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Artemov, Sergei (Ed.) ; Nerode, Anil (Ed.)

Appartient à la collection : Lecture notes in computer science, 9537, ISSN 0302-9743

Cham. Springer International Publishing. Imprint: Springer, 2016

3
Categories, allegories
Material Type:
Livre
Ajouter au Panier

Categories, allegories

Freyd, Peter John (1936-...) ; Scedrov, Andre

Appartient à la collection : North-Holland mathematical library (Print), v. 39, ISSN 0924-6509

Amsterdam. New York (NY). North-Holland. New York (NY). Sole distributors for the U.S.A. and Canada, Elsevier Science Pub, cop. 1990

Disponible(->>)

4
Logic for mathematicians
Material Type:
Livre
Ajouter au Panier

Logic for mathematicians

Hamilton, Alan G (1943-...)

Cambridge. New-York [etc.]. Cambridge University Press, cop. 1988

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

5
Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Material Type:
ebook
Ajouter au Panier

Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

van der Hoek, Wiebe (Ed.) ; Holliday, Wesley H (Ed.) ; Wang, Wen-fang (Ed.)

Appartient à la collection : Lecture notes in computer science, 9394, ISSN 0302-9743

Berlin, Heidelberg. Springer Berlin Heidelberg. Springer e-books. Imprint: Springer. Springer e-books, 2015

6
Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
Material Type:
ebook
Ajouter au Panier

Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Baltag, Alexandru (Ed.) ; Seligman, Jeremy (Ed.) ; Yamada, Tomoyuki (Ed.)

Appartient à la collection : Lecture notes in computer science, 10455, ISSN 0302-9743

Berlin, Heidelberg. Springer Berlin Heidelberg. Imprint: Springer, 2017

7
Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988
Material Type:
ebook
Ajouter au Panier

Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988

Homer, Steven ; Platek, Richard A (19..-...) ; Scedrov, Andre ; Nerode, Anil (1932-...) ; Sacks, Gerald Enoch (1933-...) ; Odifreddi, Piergiorgio (1950-...) (Ed.) ; Centro internazionale matematico estivo (Ed.)

Appartient à la collection : Lecture notes in mathematics (Internet), 1429, ISSN 1617-9692 Appartient à la collection : CIME foundation subseries

Berlin [etc.]. Springer, 201. ?

8
Reachability Problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
Material Type:
ebook
Ajouter au Panier

Reachability Problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings

Bojańczyk, Mikołaj (Ed.) ; Lasota, Sławomir (Ed.) ; Potapov, Igor (Ed.)

Appartient à la collection : Lecture notes in computer science, 9328, ISSN 0302-9743

Cham. Springer International Publishing. Imprint: Springer, 2015

9
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Material Type:
ebook
Ajouter au Panier

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Aït-Ameur, Yamine (1966-...) (Ed.) ; Schewe, Klaus-Dieter (Ed.)

Appartient à la collection : Lecture notes in computer science, 8477, ISSN 0302-9743

Berlin, Heidelberg. Springer Berlin Heidelberg. Springer e-books. Imprint: Springer. Springer e-books, 2014

10
Unsolvable classes of quantificational formulas
Material Type:
Livre
Ajouter au Panier

Unsolvable classes of quantificational formulas

Lewis, Harry R

Reading, Mass.. Addison-Wesley Pub. Co, 1979

Disponible(->>)

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

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (1 173)

Affiner vos résultats

Type de ressource 

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

Localisation 

  1. Descartes  (4)
  2. Descartes - CDR  (3)
  3. Descartes - LARHRA  (2)
  4. Monod  (16)
  5. Autres open sub menu

Sujet 

  1. Computer Science  (1 132)
  2. Mathematical Logic and Formal Languages  (1 119)
  3. Logique mathématique  (715)
  4. Artificial intelligence  (681)
  5. Informatique  (674)
  6. Artificial Intelligence (incl. Robotics)  (648)
  7. Logics and Meanings of Programs  (618)
  8. Logic design  (550)
  9. Software engineering  (434)
  10. Intelligence artificielle  (422)
  11. Mathematical logic  (362)
  12. Programming Languages, Compilers, Interpreters  (338)
  13. Algorithm Analysis and Problem Complexity  (249)
  14. Computation by Abstract Devices  (244)
  15. Computer logic  (228)
  16. Programming Techniques  (226)
  17. Computer software  (220)
  18. Génie logiciel  (185)
  19. Langages de programmation  (183)
  20. Ordinateurs. Programmation  (180)
  21. Programming languages (Electronic computers)  (159)
  22. Mathematical Logic and Foundations  (158)
  23. Logic, Symbolic and mathematical  (153)
  24. Algorithmes  (146)
  25. Algorithms  (102)
  26. Discrete Mathematics in Computer Science  (100)
  27. Database management  (98)
  28. Information storage and retrieval  (96)
  29. Information Systems Applications (incl. Internet)  (87)
  30. Computational complexity  (83)
  31. Théorèmes. Démonstration automatique  (82)
  32. Computer science. Mathematics  (82)
  33. Computers  (81)
  34. Programmation logique  (74)
  35. Computer programming  (71)
  36. Information systems  (65)
  37. Data mining  (64)
  38. Symbolic and Algebraic Manipulation  (62)
  39. Data Mining and Knowledge Discovery  (60)
  40. Algebra. Data processing  (59)
  41. Computer Communication Networks  (58)
  42. Information storage and retrieval systems  (56)
  43. Natural language processing (Computer science)  (53)
  44. Information storage and retrieva  (52)
  45. Data structures (Computer science)  (47)
  46. Data Structures  (47)
  47. Combinatorics  (45)
  48. Computer simulation  (43)
  49. Simulation and Modeling  (43)
  50. Mathematics  (43)
  51. Analyse combinatoire  (41)
  52. Computer communication systems  (41)
  53. Language Translation and Linguistics  (39)
  54. Mathématiques  (37)
  55. Informatique documentaire  (37)
  56. Natural Language Processing (NLP)  (37)
  57. Special Purpose and Application-Based Systems  (35)
  58. Pattern recognition  (33)
  59. Optical pattern recognition  (32)
  60. Management information systems  (31)
  61. Apprentissage automatique  (31)
  62. Computer Appl. in Administrative Data Processing  (29)
  63. Electronic data processing  (28)
  64. Numeric Computing  (27)
  65. Langages formels  (27)
  66. Text processing (Computer science  (26)
  67. Document Preparation and Text Processing  (25)
  68. Réécriture, Systèmes de (informatique)  (24)
  69. Application software  (24)
  70. Raisonnement  (22)
  71. Computer vision  (22)
  72. Mathematics of Computing  (22)
  73. Computational linguistics  (22)
  74. Software Engineering/Programming and Operating Systems  (21)
  75. Logique informatique  (21)
  76. Probability and Statistics in Computer Science  (21)
  77. Linguistique. Informatique  (21)
  78. Image Processing and Computer Vision  (21)
  79. Translators (Computer programs)  (20)
  80. Computational Biology/Bioinformatics  (17)
  81. Autres open sub menu

Auteur 

  1. Rozenberg, Grzegorz  (16)
  2. Voronkov, Andrei  (11)
  3. Börger, Egon  (10)
  4. Richter, Michael M  (9)
  5. Martín-Vide, Carlos  (9)
  6. Skowron, Andrzej  (9)
  7. Salomaa, Arto  (9)
  8. Nerode, Anil  (8)
  9. Wirsing, Martin  (7)
  10. Gottlob, Georg  (6)
  11. Margaria, Tiziana  (6)
  12. Jantke, Klaus Peter  (6)
  13. Peters, James F  (6)
  14. Hameurlain, Abdelkader  (6)
  15. Kirchner, Hélène  (6)
  16. Kleine Büning, Hans  (6)
  17. Steffen, Bernhard  (6)
  18. Levi, Giorgio  (5)
  19. Pereira, Luís Moniz  (5)
  20. Calmet, Jacques  (5)
  21. Nipkow, Tobias  (5)
  22. Palamidessi, Catuscia  (5)
  23. Dix, Jürgen  (5)
  24. Meinke, Karl  (5)
  25. Bekki, Daisuke  (5)
  26. Thalheim, Bernhard  (5)
  27. Pogodalla, Sylvain  (5)
  28. Rudolph, Sebastian  (5)
  29. Larsen, Kim Guldstrand  (5)
  30. Potapov, Igor  (5)
  31. Stolzmann, Wolfgang  (4)
  32. Manea, Florin  (4)
  33. Duan, Zhenhua  (4)
  34. Nielsen, Mogens  (4)
  35. Satoh, Ken  (4)
  36. Kapur, Deepak  (4)
  37. Ábrahám, Erika  (4)
  38. Wang, Dongming  (4)
  39. Buchberger, Bruno  (4)
  40. Davis, Martin  (4)
  41. Wood, Derick  (4)
  42. Ésik, Zoltán  (4)
  43. Leitsch, Alexander  (4)
  44. Rossi, Francesca  (4)
  45. Wilson, Stewart W  (4)
  46. Gelbukh, Alexander  (4)
  47. Liu, Shaoying  (4)
  48. Roman, Dumitru  (4)
  49. Rydeheard, David E  (4)
  50. Lanzi, Pier Luca  (4)
  51. Hermenegildo, Manuel  (4)
  52. Bruynooghe, Maurice  (4)
  53. Legay, Axel  (4)
  54. Leone, Nicola  (4)
  55. Gnesi, Stefania  (4)
  56. Truthe, Bianca  (4)
  57. Comon-Lundh, Hubert  (4)
  58. Villata, Serena  (3)
  59. Ralescu, Anca  (3)
  60. Calimeri, Francesco  (3)
  61. Furbach, Ulrich  (3)
  62. Dediu, Adrian-Horia  (3)
  63. Wagner, Roland  (3)
  64. Nguyen, Hung Son  (3)
  65. Métais, Elisabeth  (3)
  66. Stapleton, Gem  (3)
  67. Câmpeanu, Cezar  (3)
  68. Gabbay, Dov M  (3)
  69. Stuckey, Peter J  (3)
  70. de Queiroz, Ruy  (3)
  71. Ianni, Giovambattista  (3)
  72. Reusch, Bernd  (3)
  73. Prestel, Alexander  (3)
  74. Woltran, Stefan  (3)
  75. Lanese, Ivan  (3)
  76. Lecomte, Thierry  (3)
  77. Faber, Wolfgang  (3)
  78. Morrill, Glyn V  (3)
  79. Esposito, Floriana  (3)
  80. Dyckhoff, Roy  (3)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1988  (7)
  2. 1988 à 1997  (8)
  3. 1998 à 2003  (238)
  4. 2004 à 2010  (479)
  5. Après 2010  (460)
  6. Autres open sub menu

Langue 

  1. Anglais  (1 189)
  2. Français  (4)
  3. 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.