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

Résultats 1 - 10 sur 22  pour Articles en ligne

résultats 1 2 3 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Towards mathematical philosophy : papers from the Studia Logica conference Trends in Logic IV
Material Type:
ebook
Ajouter au Panier

Towards mathematical philosophy : papers from the Studia Logica conference Trends in Logic IV

Makinson, David ; Makinson, David (1941-...) () ; Malinowski, Jacek (1959-...) () ; Wansing, Heinrich (1963-...) ()

Appartient à la collection : Trends in logic (Online), 28, ISSN 2212-7313

Dordrecht : Springer Netherlands, 2009

2
Logic : a brief course
Material Type:
ebook
Ajouter au Panier

Logic : a brief course

Mundici, Daniele (1946-...)

Appartient à la collection : Unitext. La matematica per il 3+2 (Online), ISSN 2038-5757

Milano : Springer Milan : Imprint: Springer, 2012

3
New Frontiers in Artificial Intelligence : JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers
Material Type:
ebook
Ajouter au Panier

New Frontiers in Artificial Intelligence : JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers

Otake, Mihoko (Ed.) ; Kurahashi, Setsuya (Ed.) ; Ota, Yuiko (Ed.) ; Satoh, Ken (Ed.) ; Bekki, Daisuke (Ed.)

Appartient à la collection : Lecture notes in computer science (Internet), 10091, ISSN 1611-3349 Appartient à la collection : Lecture notes in artificial intelligence (Online)

Cham : Springer International Publishing : Imprint: Springer, 2017

4
New Frontiers in Artificial Intelligence : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers
Material Type:
ebook
Ajouter au Panier

New Frontiers in Artificial Intelligence : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers

Murata, Tsuyoshi (Ed.) ; Mineshima, Koji (Ed.) ; Bekki, Daisuke (1973-...) (Ed.)

Appartient à la collection : Lecture notes in computer science (Internet), 9067, ISSN 1611-3349 Appartient à la collection : Lecture notes in artificial intelligence (Online)

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

5
New Frontiers in Artificial Intelligence : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers
Material Type:
ebook
Ajouter au Panier

New Frontiers in Artificial Intelligence : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers

Motomura, Yoichi ; Butler, Alastair (Ed.) ; Bekki, Daisuke (1973-...) (Ed.)

Appartient à la collection : Lecture notes in computer science (Internet), 7856, ISSN 1611-3349 Appartient à la collection : Lecture notes in artificial intelligence (Online)

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013

6
Logic and Its Applications : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Material Type:
ebook
Ajouter au Panier

Logic and Its Applications : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

Banerjee, Mohua ; S, Krishna (Ed.)

Appartient à la collection : Lecture notes in computer science (Internet), 8923, ISSN 1611-3349 Appartient à la collection : Theoretical computer science and general issues (Online), ISSN 2512-2029

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

7
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

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

Appartient à la collection : Lecture notes in computer science (Internet), 9394, ISSN 1611-3349

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

8
New Frontiers in Artificial Intelligence : JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers
Material Type:
ebook
Ajouter au Panier

New Frontiers in Artificial Intelligence : JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers

Nakano, Yukiko ; Satoh, Ken (Ed.) ; Bekki, Daisuke (1973-...) (Ed.)

Appartient à la collection : Lecture notes in artificial intelligence (Online)

Cham : Springer International Publishing : Imprint: Springer, 2014

9
Logic, Rationality, and Interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Material Type:
ebook
Ajouter au Panier

Logic, Rationality, and Interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Grossi, Davide ; Roy, Olivier (1949-...) (Ed.) ; Huang, Huaxin (Ed.)

Appartient à la collection : Theoretical Computer Science and General Issues, 8196

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

10
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Material Type:
ebook
Ajouter au Panier

Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Ghosh, Sujata (Ed.) ; Prasad, Sanjiva (Ed.)

Appartient à la collection : Lecture notes in computer science (Internet), 10119, ISSN 1611-3349 Appartient à la collection : Theoretical computer science and general issues (Online), ISSN 2512-2029

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

Résultats 1 - 10 sur 22  pour Articles en ligne

résultats 1 2 3 next page

Refine Search Results

Élargir mes résultats

  1.   

N'afficher que

  1. Evalués par les pairs (10)
  2. Catalogue (12)

Affiner vos résultats

Sujet 

  1. Mathematical Logic And Formal Languages  (20)
  2. Artificial Intelligence  (18)
  3. Mathematical Logic And Foundations  (14)
  4. Symbolic And Algebraic Manipulation  (12)
  5. Mathematical logic  (11)
  6. Artificial Intelligence (incl. Robotics)  (8)
  7. Technology  (7)
  8. Computer Science, Artificial Intelligence  (7)
  9. Science & Technology  (7)
  10. Data Mining and Knowledge Discovery  (5)
  11. Information storage and retrieval  (5)
  12. Information storage and retrieva  (5)
  13. Information Systems Applications (incl. Internet)  (5)
  14. Information systems  (5)
  15. Data mining  (5)
  16. Computer Appl. in Administrative Data Processing  (5)
  17. Application software  (5)
  18. Semantics  (4)
  19. Logics and Meanings of Programs  (4)
  20. Logic  (4)
  21. Information storage and retrieval systems  (3)
  22. Logic, Symbolic and mathematical  (3)
  23. Discrete Mathematics in Computer Science  (3)
  24. Interactive Theorem Proving  (3)
  25. Computer logic  (3)
  26. Logic design  (3)
  27. Studies  (3)
  28. Proving  (2)
  29. Proof Assistant  (2)
  30. Mathematics  (2)
  31. Computational complexity  (2)
  32. Computational linguistics  (2)
  33. Automated Reasoning  (2)
  34. Mathematical Analysis  (2)
  35. Algebra  (2)
  36. Calculus  (2)
  37. Computer science. Mathematics  (2)
  38. Computation by Abstract Devices  (1)
  39. Simulation and Modeling  (1)
  40. Natural Language Processing (NLP)  (1)
  41. Arithmetic and Logic Structures  (1)
  42. Natural language processing (Computer science)  (1)
  43. Langages formels  (1)
  44. Logique mathématique  (1)
  45. Translators (Computer programs)  (1)
  46. Computer vision  (1)
  47. Informatique  (1)
  48. Computer simulation  (1)
  49. Algorithms  (1)
  50. Information theory  (1)
  51. Algorithm Analysis and Problem Complexity  (1)
  52. Computers  (1)
  53. Computer software  (1)
  54. Aliasing  (1)
  55. Abduction  (1)
  56. Arithmetic and logic units, Computer  (1)
  57. Software engineering  (1)
  58. Computer graphics  (1)
  59. Theory of Computation  (1)
  60. Algebra. Data processing  (1)
  61. Computer science-Mathematics  (1)
  62. Language Translation and Linguistics  (1)
  63. Order, Lattices, Ordered Algebraic Structures  (1)
  64. Computer Imaging, Vision, Pattern Recognition and Graphics  (1)
  65. Mathematics, general  (1)
  66. 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.