Deontic Logic in Computer Science
Enregistré dans:
Auteurs principaux: | Meyden, Ron van der, Torre, Leendert van der |
---|---|
Format: | Livre |
Langue: | English |
Publié: |
Springer Berlin Heidelberg
2020
|
Sujets: | |
Accès en ligne: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81724 |
Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
Documents similaires
-
Computer Science Logic
Publié: (2020) -
Logical Foundations of Computer Science
par: Artemov, Sergei, et autres
Publié: (2020) -
Logic, Language, and Computation
Publié: (2020) -
Logical Foundations of Computer Science. 1st ed. 2018
par: Artemov, Sergei, et autres
Publié: (2020) -
PRIMA 2017: Principles and Practice of Multi-Agent Systems
par: An, Bo, et autres
Publié: (2020)