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

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

résultats 1 2 3 4 5 next page
Filtré par : sujet: Mathematical logic supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Foundations of Information and Knowledge Systems : 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings
Material Type:
ebook
Ajouter au Panier

Foundations of Information and Knowledge Systems : 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings

Ferrarotti, Flavio (Ed.) ; Woltran, Stefan (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2018

2
Reasoning Web. Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures
Material Type:
ebook
Ajouter au Panier

Reasoning Web. Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures

Ianni, Giovambattista (Ed.) ; Lembo, Domenico (Ed.) ; Bertossi, Leopoldo (Ed.) ; Faber, Wolfgang (Ed.) ; Glimm, Birte (Ed.) ; Gottlob, Georg (Ed.) ; Staab, Steffen (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2017

3
Frontiers of Combining Systems : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Material Type:
ebook
Ajouter au Panier

Frontiers of Combining Systems : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Lutz, Carsten (Ed.) ; Ranise, Silvio (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2015

4
Logic, Language, and Computation : 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
Material Type:
ebook
Ajouter au Panier

Logic, Language, and Computation : 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

Aher, Martin (Ed.) ; Hole, Daniel (Ed.) ; Jeřábek, Emil (Ed.) ; Kupke, Clemens (Ed.)

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

Berlin, Heidelberg. Springer Berlin Heidelberg. Imprint: Springer, 2015

5
Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Material Type:
ebook
Ajouter au Panier

Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Hasuo, Ichiro (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2016

6
Reasoning Web. Reasoning on the Web in the Big Data Era : 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings
Material Type:
ebook
Ajouter au Panier

Reasoning Web. Reasoning on the Web in the Big Data Era : 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings

Koubarakis, Manolis ; Stamou, Giorgos (Ed.) ; Stoilos, Giorgos (Ed.) ; Horrocks, Ian (Ed.) ; Kolaitis, Phokion (Ed.) ; Lausen, Georg (Ed.) ; Weikum, Gerhard (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2014

7
Inductive Logic Programming : 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
Material Type:
ebook
Ajouter au Panier

Inductive Logic Programming : 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

Lachiche, Nicolas (Ed.) ; Vrain, Christel (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2018

8
Logic, Language, and Computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers
Material Type:
ebook
Ajouter au Panier

Logic, Language, and Computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers

Hansen, Helle Hvid (Ed.) ; Murray, Sarah Elizabeth (Ed.) ; Sadrzadeh, Mehrnoosh (Ed.) ; Zeevat, Henk (1952-...) (Ed.)

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

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

9
Graph Structures for Knowledge Representation and Reasoning : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
Material Type:
ebook
Ajouter au Panier

Graph Structures for Knowledge Representation and Reasoning : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers

Croitoru, Madalina ; Rudolph, Sebastian (Ed.) ; Woltran, Stefan (Ed.) ; Gonzales, Christophe (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2014

10
Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
Material Type:
ebook
Ajouter au Panier

Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

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

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

Cham. Springer International Publishing. Imprint: Springer, 2018

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

résultats 1 2 3 4 5 next page

Refine Search Results

Affiner vos résultats

Sujet 

  1. Artificial Intelligence (incl. Robotics)  (186)
  2. Software engineering  (90)
  3. Computer logic  (87)
  4. Logics and Meanings of Programs  (87)
  5. Logic design  (87)
  6. Information Systems Applications (incl. Internet)  (58)
  7. Programming Languages, Compilers, Interpreters  (47)
  8. Programming languages (Electronic computers)  (47)
  9. Information Storage and Retrieval  (44)
  10. Information storage and retrieva  (43)
  11. Computer science. Mathematics  (42)
  12. Data Mining and Knowledge Discovery  (41)
  13. Data mining  (41)
  14. Programming Techniques  (39)
  15. Computer programming  (39)
  16. Algorithm Analysis and Problem Complexity  (38)
  17. Computer software  (38)
  18. Algorithms  (38)
  19. Computers  (27)
  20. Computer Communication Networks  (23)
  21. Computer communication systems  (23)
  22. Computation by Abstract Devices  (22)
  23. Database management  (22)
  24. Computational complexity  (21)
  25. Discrete Mathematics in Computer Science  (21)
  26. Information systems  (20)
  27. Application software  (20)
  28. Natural language processing (Computer science)  (19)
  29. Natural Language Processing (NLP)  (19)
  30. Computer Appl. in Administrative Data Processing  (17)
  31. Language Translation and Linguistics  (16)
  32. Information storage and retrieval systems  (16)
  33. Computational linguistics  (16)
  34. Computer simulation  (14)
  35. Simulation and Modeling  (14)
  36. Algebra. Data processing  (13)
  37. Symbolic and Algebraic Manipulation  (13)
  38. Mathematics of Computing  (12)
  39. Software Engineering/Programming and Operating Systems  (9)
  40. Text processing (Computer science)  (9)
  41. Document Preparation and Text Processing  (9)
  42. Optical pattern recognition  (9)
  43. Pattern Recognition  (9)
  44. Systems and Data Security  (8)
  45. Electronic data processing  (8)
  46. Computer security  (8)
  47. Numeric Computing  (7)
  48. Numerical analysis  (7)
  49. User Interfaces and Human Computer Interaction  (6)
  50. User interfaces (Computer systems)  (6)
  51. Special Purpose and Application-Based Systems  (5)
  52. Math Applications in Computer Science  (5)
  53. Special purpose computers  (5)
  54. Probability and Statistics in Computer Science  (5)
  55. Mathematical statistics  (5)
  56. Computing Methodologies  (4)
  57. Image processing  (3)
  58. Chinese language  (3)
  59. Data structures (Computer science)  (3)
  60. System Performance and Evaluation  (3)
  61. Computer vision  (3)
  62. Computer Science, general  (3)
  63. Logic, Symbolic and mathematical  (3)
  64. Data structures (Computer scienc  (3)
  65. Translators (Computer programs)  (3)
  66. Image Processing and Computer Vision  (3)
  67. Computer system failures  (3)
  68. Computer system performance  (3)
  69. Chinese  (3)
  70. Mathematical Logic and Foundations  (3)
  71. Management of Computing and Information Systems  (2)
  72. Management information systems  (2)
  73. Data Structures and Information Theory  (2)
  74. Computer organization  (2)
  75. Computers and Society  (2)
  76. Computer network architectures  (2)
  77. Computers and civilization  (2)
  78. Autres open sub menu

Auteur 

  1. Bekki, Daisuke  (5)
  2. Martín-Vide, Carlos  (5)
  3. Satoh, Ken  (4)
  4. Hameurlain, Abdelkader  (4)
  5. Rudolph, Sebastian  (4)
  6. Margaria, Tiziana  (3)
  7. Stapleton, Gem  (3)
  8. Croitoru, Madalina  (3)
  9. Woltran, Stefan  (3)
  10. Steffen, Bernhard  (3)
  11. Goertzel, Ben  (3)
  12. Chockler, Hana  (2)
  13. Manea, Florin  (2)
  14. Villata, Serena  (2)
  15. Wagner, Roland R  (2)
  16. Kapur, Deepak  (2)
  17. Potapov, Alexey  (2)
  18. Grosky, William I  (2)
  19. Wagner, Roland  (2)
  20. Marquis, Pierre  (2)
  21. Horrocks, Ian  (2)
  22. Lutz, Carsten  (2)
  23. Rabe, Florian  (2)
  24. Arai, Sachiyo  (2)
  25. Vidal, Maria-Esther  (2)
  26. Benslimane, Djamal  (2)
  27. Höfner, Peter  (2)
  28. Weissenbacher, Georg  (2)
  29. Baldoni, Matteo  (2)
  30. Mineshima, Koji  (2)
  31. Paschke, Adrian  (2)
  32. Son, Tran Cao  (2)
  33. Roman, Dumitru  (2)
  34. Bulling, Nils  (2)
  35. Bouajjani, Ahmed  (2)
  36. Debruyne, Christophe  (2)
  37. Cornelis, Chris  (2)
  38. de Queiroz, Ruy  (2)
  39. Pogodalla, Sylvain  (2)
  40. Ianni, Giovambattista  (2)
  41. Küng, Josef  (2)
  42. Kryszkiewicz, Marzena  (2)
  43. van den Herik, Jaap  (2)
  44. Wang, Zhe  (2)
  45. de Moura, Leonardo  (2)
  46. Damiani, Ernesto  (2)
  47. Sheth, Amit  (2)
  48. Panetto, Hervé  (2)
  49. Bonsangue, Marcello  (2)
  50. Leite, João  (2)
  51. Ohta, Yuiko  (2)
  52. Pan, Jeff Z  (2)
  53. Bertossi, Leopoldo  (2)
  54. Faber, Wolfgang  (2)
  55. Eiter, Thomas  (2)
  56. Filipe, Joaquim  (2)
  57. Truthe, Bianca  (2)
  58. Kahl, Wolfram  (2)
  59. Kurahashi, Setsuya  (2)
  60. Sacarea, Christian  (2)
  61. Su, Qi  (1)
  62. Strichman, Ofer  (1)
  63. Huang, Zhisheng  (1)
  64. Branco, António  (1)
  65. Serrano, Martin  (1)
  66. Calmet, Jacques  (1)
  67. Ramon, Jan  (1)
  68. Aher, Martin  (1)
  69. Sojka, Petr  (1)
  70. Miller, Bruce  (1)
  71. Santos Costa, Vítor  (1)
  72. Costa, Paulo C.G  (1)
  73. Finkbeiner, Bernd  (1)
  74. Weidenbach, Christoph  (1)
  75. Nerode, Anil  (1)
  76. Hennicker, Rolf  (1)
  77. Oliveira, José  (1)
  78. Alferes, Jose Julio  (1)
  79. Seshia, Sanjit A  (1)
  80. Skowron, Andrzej  (1)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 2014  (1)
  2. 2014 à 2014  (34)
  3. 2015 à 2015  (35)
  4. 2016 à 2017  (97)
  5. Après 2017  (24)
  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.