Agent Technology from a Formal Perspective

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Rouff, Christopher A.
Άλλοι συγγραφείς: Hinchey, Michael, Rash, James, Truszkowski, Walter, Gordon-Spears, Diana
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: London Springer-Verlag London Limited 2006
Σειρά:NASA Monographs in Systems and Software Engineering
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/1-84628-271-3
LEADER 01384nom a2200349 u 4500
001 10072715
003 upatras
005 20210117201731.0
008 090513s2006 eng
020 |a 9781846282713 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
100 1 |a Rouff, Christopher A.  |9 71149 
245 1 0 |a Agent Technology from a Formal Perspective  |h [electronic resource]  |c edited by Christopher A. Rouff, Michael Hinchey, James Rash, Walter Truszkowski, Diana Gordon-Spears 
260 |a London  |b Springer-Verlag London Limited  |c 2006 
300 |b v.: digital 
490 0 |a NASA Monographs in Systems and Software Engineering  |x 1860-0131 
650 4 |a Computer science  |9 13995 
650 4 |a Computer Science  |9 64565 
650 4 |a Mathematical Logic and Formal Languages  |9 67086 
650 4 |a Artificial Intelligence (incl. Robotics)  |9 64267 
650 4 |9 84642  |a Τεχνητή νοημοσύνη 
700 1 |a Hinchey, Michael  |9 71150 
700 1 |a Rash, James  |9 71151 
700 1 |a Truszkowski, Walter  |9 64665 
700 1 |a Gordon-Spears, Diana  |9 71152 
760 1 |a NASA Monographs in Systems and Software Engineering  |x 1860-0131 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ 
856 4 0 |u http://dx.doi.org/10.1007/1-84628-271-3 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 74171  |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 48960  |d 48960