Deontic Logic in Computer Science Электронный ресурс : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings / /edited by Jaime G. Carbonell, Jörg Siekmann, Ron Meyden, Leendert Torre.

Carbonell, Jaime G.
Публикация
Berlin, Heidelberg : : Springer-Verlag Berlin Heidelberg, , 2008.
Электронный ресурс
Другой Автор
Meyden, Ron van der
Siekmann, Jörg.
Torre, Leendert.
Источник
Springer eBooks
Серия
Lecture Notes in Computer Science, 0302-9743 ; 5076
Всего оценка: 0
Нет записей для отображения.
 
 
 
01560nmm a22003615u 4500
001
 
 
vtls000362202
003
 
 
RU-ToGU
005
 
 
20140321153700.0
007
 
 
cr nn 008mamaa
008
 
 
120829s2008    xx         j        eng d
020
$a 9783540705253
035
$a to000362202
039
9
$a 201403211537 $b cat07 $c 201208290453 $d VLOAD $y 200905072339 $z staff
040
$a Springer $c Springer $d RU-ToGU
100
1
$a Carbonell, Jaime G.
245
1
0
$a Deontic Logic in Computer Science $h Электронный ресурс $b 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings / $c edited by Jaime G. Carbonell, Jörg Siekmann, Ron Meyden, Leendert Torre.
260
$a Berlin, Heidelberg : $b Springer-Verlag Berlin Heidelberg, $c 2008.
490
1
$a Lecture Notes in Computer Science, $x 0302-9743 ; $v 5076
650
0
$a Artificial intelligence
650
0
$a Computer Science
650
1
4
$a Computer Science
650
2
4
$a Artificial Intelligence (incl. Robotics)
650
2
4
$a Mathematical Logic and Formal Languages
700
1
$a Meyden, Ron van der
700
1
$a Siekmann, Jörg.
700
1
$a Torre, Leendert.
710
2
$a SpringerLink (Online service)
773
0
$t Springer eBooks
830
0
$a Lecture Notes in Computer Science,
856
4
0
$u http://dx.doi.org/10.1007/978-3-540-70525-3
950
$a Computer Science (Springer-11645; ZDB-2-SCS)
999
$a VIRTUA
999
$a VTLSSORT0010*0030*0050*0070*0080*0200*0350*0390*0400*1000*2450*2600*4900*6500*6501*6502*6503*6504*7000*7001*7002*7100*7730*8300*8560*9500*9992
Нет комментариев.
Предмет
Artificial intelligence
Computer Science
Computer Science
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages