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)