Artificial Intelligence and Symbolic Computation

Κώδικας QR

Artificial Intelligence and Symbolic Computation

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Fleuriot, Jacques, Wang, Dongming, Calmet, Jacques
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Springer International Publishing 2020
Θέματα:	Computer Science Math Applications in Computer Science Mathematical Logic and Formal Languages
Διαθέσιμο Online:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/88131
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Παρόμοια τεκμήρια

Mathematics in Computing
ανά: O’Regan, Gerard
Έκδοση: (2020)

Argumentation in Artificial Intelligence
ανά: Rahwan, Iyad
Έκδοση: (2020)

Combinatorics on Words
ανά: Brlek, Srečko, κ.ά.
Έκδοση: (2020)

Applied Logic for Computer Scientists . 1st ed. 2017
ανά: Ayala-Rincón, Mauricio, κ.ά.
Έκδοση: (2020)

Automated Reasoning and Mathematics
ανά: Bonacina, Maria Paola, κ.ά.
Έκδοση: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Έκδοση: (2020)

AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
ανά: Basili, Roberto, κ.ά.
Έκδοση: (2020)

Modeling Decisions for Artificial Intelligence
ανά: Narukawa, Yasuo, κ.ά.
Έκδοση: (2020)

Current Topics in Artificial Intelligence
ανά: Borrajo, Daniel, κ.ά.
Έκδοση: (2020)

AI*IA 2017 Advances in Artificial Intelligence
ανά: Esposito, Floriana, κ.ά.
Έκδοση: (2020)

AI 2001: Advances in Artificial Intelligence
ανά: Brooks, Mike, κ.ά.
Έκδοση: (2020)

MICAI 2005: Advances in Artificial Intelligence
ανά: Gelbukh, Alexander, κ.ά.
Έκδοση: (2020)

AI 2005: Advances in Artificial Intelligence
ανά: Zhang, Shichao, κ.ά.
Έκδοση: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
ανά: Antonucci, Alessandro, κ.ά.
Έκδοση: (2020)

AI*IA 2003: Advances in Artificial Intelligence
ανά: Cappelli, Amedeo, κ.ά.
Έκδοση: (2020)

AI*IA 2005: Advances in Artificial Intelligence
ανά: Manzoni, Sara
Έκδοση: (2020)

Intelligent Computer Mathematics
ανά: Geuvers, Herman, κ.ά.
Έκδοση: (2020)

Artificial Intelligence
ανά: Kuznetsov, Sergei O., κ.ά.
Έκδοση: (2020)

Artificial General Intelligence
ανά: Everitt, Tom, κ.ά.
Έκδοση: (2020)

Artificial Intelligence in Medicine
ανά: Teije, Annette ten, κ.ά.
Έκδοση: (2020)

AI 2002: Advances in Artificial Intelligence
ανά: McKay, Bob, κ.ά.
Έκδοση: (2020)

AI 2003: Advances in Artificial Intelligence
ανά: Gedeon, Tamas D., κ.ά.
Έκδοση: (2020)

Modeling Decisions for Artificial Intelligence
ανά: Torra, Vicenç, κ.ά.
Έκδοση: (2020)

AI 2007: Advances in Artificial Intelligence
ανά: Orgun, Mehmet A., κ.ά.
Έκδοση: (2020)

KI 2007: Advances in Artificial Intelligence
ανά: Hertzberg, Joachim, κ.ά.
Έκδοση: (2020)

KI 2017: Advances in Artificial Intelligence
ανά: Kern-Isberner, Gabriele, κ.ά.
Έκδοση: (2020)

AI 2004: Advances in Artificial Intelligence
ανά: Webb, Geoffrey, κ.ά.
Έκδοση: (2020)

Logic, Language, and Computation
Έκδοση: (2020)

AI*IA 2009: Emergent Perspectives in Artificial Intelligence
Έκδοση: (2020)

Deontic Logic in Computer Science
ανά: Meyden, Ron van der, κ.ά.
Έκδοση: (2020)

Imaginary Mathematics for Computer Science
ανά: Vince, John
Έκδοση: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Έκδοση: (2020)

AI 2006: Advances in Artificial Intelligence
ανά: Sattar, Abdul, κ.ά.
Έκδοση: (2020)

Computational Linguistics and Intelligent Text Processing
ανά: Gelbukh, Alexander
Έκδοση: (2020)

Computational Linguistics and Intelligent Text Processing
ανά: Gelbukh, Alexander
Έκδοση: (2020)

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006
ανά: Sichman, Jaime Simao, κ.ά.
Έκδοση: (2020)

AI*IA 2015 Advances in Artificial Intelligence
ανά: Gavanelli, Marco, κ.ά.
Έκδοση: (2020)

AI*IA 2016 Advances in Artificial Intelligence
ανά: Adorni, Giovanni, κ.ά.
Έκδοση: (2020)

AI*IA 2013: Advances in Artificial Intelligence
ανά: Baldoni, Matteo, κ.ά.
Έκδοση: (2020)

Introduction to Mathematica® with Applications. 1st ed. 2017
ανά: Mureşan, Marian
Έκδοση: (2020)