Artificial Intelligence and Symbolic Computation
Gespeichert in:
Hauptverfasser: | Fleuriot, Jacques, Wang, Dongming, Calmet, Jacques |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Springer International Publishing
2020
|
Schlagworte: | |
Online Zugang: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/88131 |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Ähnliche Einträge
-
Mathematics in Computing
von: O’Regan, Gerard
Veröffentlicht: (2020) -
Argumentation in Artificial Intelligence
von: Rahwan, Iyad
Veröffentlicht: (2020) -
Combinatorics on Words
von: Brlek, Srečko, et al.
Veröffentlicht: (2020) -
Applied Logic for Computer Scientists . 1st ed. 2017
von: Ayala-Rincón, Mauricio, et al.
Veröffentlicht: (2020) -
Automated Reasoning and Mathematics
von: Bonacina, Maria Paola, et al.
Veröffentlicht: (2020)