Automated Reasoning Электронный ресурс : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / /edited by Jaime G. Carbonell, Jörg Siekmann, Alessandro Armando, Peter Baumgartner, Gilles Dowek.

Carbonell, Jaime G.
Публикация
Berlin, Heidelberg : : Springer-Verlag Berlin Heidelberg, , 2008.
Электронный ресурс
Другой Автор
Armando, Alessandro.
Baumgartner, Peter.
Dowek, Gilles.
Siekmann, Jörg.
Источник
Springer eBooks
Серия
Lecture Notes in Computer Science, 0302-9743 ; 5195
Всего оценка: 0
Нет записей для отображения.
 
 
 
01784nmm a22004215u 4500
001
 
 
vtls000362343
003
 
 
RU-ToGU
005
 
 
20140321153500.0
007
 
 
cr nn 008mamaa
008
 
 
120829s2008    xx         j        eng d
020
$a 9783540710707
035
$a to000362343
039
9
$a 201403211535 $b cat07 $c 201208290532 $d VLOAD $y 200905072342 $z staff
040
$a Springer $c Springer $d RU-ToGU
100
1
$a Carbonell, Jaime G.
245
1
0
$a Automated Reasoning $h Электронный ресурс $b 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / $c edited by Jaime G. Carbonell, Jörg Siekmann, Alessandro Armando, Peter Baumgartner, Gilles Dowek.
260
$a Berlin, Heidelberg : $b Springer-Verlag Berlin Heidelberg, $c 2008.
490
1
$a Lecture Notes in Computer Science, $x 0302-9743 ; $v 5195
650
0
$a Artificial intelligence
650
0
$a Computer Science
650
0
$a Logic design
650
0
$a Software engineering
650
1
4
$a Computer Science
650
2
4
$a Artificial Intelligence (incl. Robotics)
650
2
4
$a Logics and Meanings of Programs
650
2
4
$a Mathematical Logic and Formal Languages
650
2
4
$a Software Engineering
700
1
$a Armando, Alessandro.
700
1
$a Baumgartner, Peter.
700
1
$a Dowek, Gilles.
700
1
$a Siekmann, Jörg.
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-71070-7
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*6505*6506*6507*6508*7000*7001*7002*7003*7100*7730*8300*8560*9500*9992
Нет комментариев.
Предмет
Artificial intelligence
Computer Science
Logic design
Software engineering
Computer Science
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering