Theorem Proving in Higher Order Logics Электронный ресурс : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 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, Otmane Ait Mohamed, César Muñoz, Sofiène Tahar.

Hutchison, David.
Публикация
Berlin, Heidelberg : : Springer Berlin Heidelberg, , 2008.
Электронный ресурс
Другой Автор
Kanade, Takeo.
Kittler, Josef.
Kleinberg, Jon M.
Mattern, Friedemann.
Mitchell, John C.
Mohamed, Otmane Ait.
Muñoz, César
Naor, Moni.
Nierstrasz, Oscar.
Pandu Rangan, C.
Steffen, Bernhard.
Sudan, Madhu.
Tahar, Sofiène
Terzopoulos, Demetri.
Tygar, Doug.
Vardi, Moshe Y.
Weikum, Gerhard.
Источник
Springer eBooks
Серия
Lecture Notes in Computer Science, 0302-9743 ; 5170
Всего оценка: 0
Нет записей для отображения.
 
 
 
02528nmm a22005895u 4500
001
 
 
vtls000362341
003
 
 
RU-ToGU
005
 
 
20140122102500.0
007
 
 
cr nn 008mamaa
008
 
 
120829s2008    xx         j        eng d
020
$a 9783540710677
035
$a to000362341
039
9
$a 201401221025 $b cat07 $c 201208290532 $d VLOAD $y 200905072342 $z staff
040
$a Springer $c Springer $d RU-ToGU
100
1
$a Hutchison, David.
245
1
0
$a Theorem Proving in Higher Order Logics $h Электронный ресурс $b 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 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, Otmane Ait Mohamed, César  Muñoz, Sofiène Tahar.
260
$a Berlin, Heidelberg : $b Springer Berlin Heidelberg, $c 2008.
490
1
$a Lecture Notes in Computer Science, $x 0302-9743 ; $v 5170
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 Logic Design
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 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 Mohamed, Otmane Ait.
700
1
$a Muñoz, César
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 Tahar, Sofiène
700
1
$a Terzopoulos, Demetri.
700
1
$a Tygar, Doug.
700
1
$a Vardi, Moshe Y.
700
1
$a Weikum, Gerhard.
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-71067-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*6509*7000*7001*7002*7003*7004*7005*7006*7007*7008*7009*70010*70011*70012*70013*70014*70015*70016*7100*7730*8300*8560*9500*9992
Нет комментариев.
Предмет
Artificial intelligence
Computer Science
Logic design
Software engineering
Computer Science
Artificial Intelligence (incl. Robotics)
Logic Design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Software Engineering