Artificial Intelligence and Symbolic Computation
Uloženo v:
Hlavní autoři: | Fleuriot, Jacques, Wang, Dongming, Calmet, Jacques |
---|---|
Médium: | Kniha |
Jazyk: | English |
Vydáno: |
Springer International Publishing
2020
|
Témata: | |
On-line přístup: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/88131 |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Podobné jednotky
-
Mathematics in Computing
Autor: O’Regan, Gerard
Vydáno: (2020) -
Argumentation in Artificial Intelligence
Autor: Rahwan, Iyad
Vydáno: (2020) -
Combinatorics on Words
Autor: Brlek, Srečko, a další
Vydáno: (2020) -
Applied Logic for Computer Scientists . 1st ed. 2017
Autor: Ayala-Rincón, Mauricio, a další
Vydáno: (2020) -
Automated Reasoning and Mathematics
Autor: Bonacina, Maria Paola, a další
Vydáno: (2020)