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
LEADER 01418nom a2200373 u 4500
001 10092350
003 upatras
005 20210126160732.0
008 110802s2010 eng
020 |a 9783642044076 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
100 1 |a Gabbay, Dov M.,  |d 1945-  |9 84902 
245 1 0 |a Logical Tools for Handling Change in Agent-Based Systems  |h [electronic resource]  |c by Dov M. Gabbay, Karl Schlechta 
260 |a Berlin, Heidelberg  |b Springer-Verlag Berlin Heidelberg  |c 2010 
300 |b v.: digital 
490 0 |a Cognitive Technologies  |x 1611-2482 
650 4 |a Computer science  |9 13995 
650 4 |a Logic  |9 64716 
650 4 |a Logic, Symbolic and mathematical  |9 65151 
650 4 |a Computer Science  |9 64565 
650 4 |a Artificial Intelligence (incl. Robotics)  |9 64267 
650 4 |a Mathematical Logic and Formal Languages  |9 67086 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
650 4 |a Logic  |9 64716 
650 4 |9 84642  |a Τεχνητή νοημοσύνη 
700 1 |a Schlechta, Karl  |9 5080 
710 2 |a SpringerLink (Online service)  |9 68735 
760 1 |a Cognitive Technologies  |x 1611-2482 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-04407-6 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 100264  |a LISP  |b LISP  |d 2016-04-24  |l 0  |r 2016-04-24 00:00:00  |w 2016-04-24  |y ERS 
999 |c 68050  |d 68050