Rewriting Techniques and Applications Электронный ресурс : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / /edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andrei Voronkov.

Hutchison, David.
Публикация
Berlin, Heidelberg : : Springer-Verlag Berlin Heidelberg, , 2008.
Электронный ресурс
Другой Автор
Kanade, Takeo.
Kittler, Josef.
Kleinberg, Jon M.
Mattern, Friedemann.
Mitchell, John C.
Naor, Moni.
Nierstrasz, Oscar.
Pandu Rangan, C.
Steffen, Bernhard.
Sudan, Madhu.
Terzopoulos, Demetri.
Tygar, Doug.
Vardi, Moshe Y.
Voronkov, Andrei.
Weikum, Gerhard.
Источник
Springer eBooks
Серия
Lecture Notes in Computer Science, 0302-9743 ; 5117
Всего оценка: 0
Нет записей для отображения.
 
 
 
02199nmm a22005535u 4500
001
 
 
vtls000362226
003
 
 
RU-ToGU
005
 
 
20120829050100.0
007
 
 
cr nn 008mamaa
008
 
 
120829s2008    xx         j        eng d
020
$a 9783540705901
035
$a to000362226
039
9
$a 201208290501 $b VLOAD $y 200905072340 $z staff
040
$a Springer $c Springer $d RU-ToGU
100
1
$a Hutchison, David.
245
1
0
$a Rewriting Techniques and Applications $h Электронный ресурс $b 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / $c edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andrei Voronkov.
260
$a Berlin, Heidelberg : $b Springer-Verlag Berlin Heidelberg, $c 2008.
490
1
0
$a Lecture Notes in Computer Science, $x 0302-9743 ; $v 5117
650
0
$a Algebra $x Data processing
650
0
$a Artificial intelligence
650
0
$a Computer Science
650
0
$a Logic design
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 Programming Languages, Compilers, Interpreters
650
2
4
$a Symbolic and Algebraic Manipulation
700
1
$a Kanade, Takeo.
700
1
$a Kittler, Josef.
700
1
$a Kleinberg, Jon M.
700
1
$a Mattern, Friedemann.
700
1
$a Mitchell, John C.
700
1
$a Naor, Moni.
700
1
$a Nierstrasz, Oscar.
700
1
$a Pandu Rangan, C.
700
1
$a Steffen, Bernhard.
700
1
$a Sudan, Madhu.
700
1
$a Terzopoulos, Demetri.
700
1
$a Tygar, Doug.
700
1
$a Vardi, Moshe Y.
700
1
$a Voronkov, Andrei.
700
1
$a Weikum, Gerhard.
710
2
$a SpringerLink (Online service)
773
0
$t Springer eBooks
830
#
$a Lecture Notes in Computer Science,
856
4
0
$u http://dx.doi.org/10.1007/978-3-540-70590-1
950
$a Computer Science (Springer-11645; ZDB-2-SCS)
999
$a VIRTUA
Нет комментариев.
Предмет
Algebra Data processing
Artificial intelligence
Computer Science
Logic design
Computer Science
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Symbolic and Algebraic Manipulation