Artificial Intelligence and Symbolic Computation
Đã lưu trong:
Những tác giả chính: | Fleuriot, Jacques, Wang, Dongming, Calmet, Jacques |
---|---|
Formáid: | Leabhar |
Teanga: | English |
Foilsithe: |
Springer International Publishing
2020
|
Ábhair: | |
Rochtain Ar Líne: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/88131 |
Clibeanna: |
Cuir Clib Leis
Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Míreanna Comhchosúla
-
Mathematics in Computing
le: O’Regan, Gerard
Foilsithe: (2020) -
Argumentation in Artificial Intelligence
le: Rahwan, Iyad
Foilsithe: (2020) -
Combinatorics on Words
le: Brlek, Srečko, et al.
Foilsithe: (2020) -
Applied Logic for Computer Scientists . 1st ed. 2017
le: Ayala-Rincón, Mauricio, et al.
Foilsithe: (2020) -
Automated Reasoning and Mathematics
le: Bonacina, Maria Paola, et al.
Foilsithe: (2020)