Logical Tools for Handling Change in Agent-Based Systems
Κύριος συγγραφέας: | Gabbay, Dov M., 1945- |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Άλλοι συγγραφείς: | Schlechta, Karl |
Μορφή: | Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2010
|
Σειρά: | Cognitive Technologies
|
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.1007/978-3-642-04407-6 |
Παρόμοια τεκμήρια
-
Mathematical Problems from Applied Logic I Logics for the XXIst Century
ανά: Gabbay, Dov M., 1945-
Έκδοση: (2006) -
Natural Deduction, Hybrid Systems and Modal Logics
ανά: Indrzejczak, Andrzej
Έκδοση: (2010) -
A Course in Mathematical Logic for Mathematicians
ανά: Manin, IU I.
Έκδοση: (2010) -
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
ανά: Benthem, Johan
Έκδοση: (2006) -
A Modern Perspective on Type Theory From its Origins until Today
ανά: Kamareddine, Fairouz
Έκδοση: (2005)