國立高雄大學圖資館 |

登入

回首頁

Logic, Language, Information and Computation15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Logic, Language, Information and Computationedited by Wilfrid Hodges, Ruy Queiroz.
其他題名:	15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
其他作者:	Queiroz, Ruy.
團體作者:
出版者:	Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2008.
面頁冊數:	viii, 312 p. :ill., digital ;24 cm.
叢書名:	Lecture Notes in Computer Science,
Contained By:	Springer eBooks
標題:	Artificial Intelligence (incl. Robotics)
電子資源:	https://doi.org/10.1007/978-3-540-69937-8
ISBN:	9783540699361 (paper)

Logic, Language, Information and Computation15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
Logic, Language, Information and Computation15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /[electronic resource] :edited by Wilfrid Hodges, Ruy Queiroz. - Berlin, Heidelberg :Springer-Verlag Berlin Heidelberg,2008. - viii, 312 p. :ill., digital ;24 cm. - Lecture Notes in Computer Science,51100302-9743 ;.

ISBN: 9783540699361 (paper)

LCCN: nam _22002415a_450 Subjects--Topical Terms:

252959
Artificial Intelligence (incl. Robotics)

LC Class. No.: QA9.A1 / W64 2008

Dewey Class. No.: 005.131

Logic, Language, Information and Computation15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
LDR:01030nmm a2200253 a 4500 001 188783
003 Springer
005 20080807120552.0
006 m d
007 cr nn 008maaau
008 090528s2008 gw j eng d
010 6 1 $a nam _22002415a_450
020 $a 9783540699361 (paper)
020 $a 9783540699378 (electronic bk.)
035 $a 00341438
050 1 4 $a QA9.A1 $b W64 2008
082 0 4 $2 22 $a 005.131
090 $a QA9.A1 $b W926 2008
111 0 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Logic, Language, Information and Computation $b 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / $c edited by Wilfrid Hodges, Ruy Queiroz. $h [electronic resource] :
260 # $a Berlin, Heidelberg : $c 2008. $b Springer-Verlag Berlin Heidelberg,
300 $a viii, 312 p. : $b ill., digital ; $c 24 cm.
440 0 $a Lecture Notes in Computer Science, $v 5110 $x 0302-9743 ;
650 # 0 $a Artificial Intelligence (incl. Robotics) $3 252959
650 # 0 $a Computing Methodologies. $3 274528
650 # 0 $a Mathematical Logic and Formal Languages. $3 275383
650 # 0 $a Mathematics of Computing. $3 273710
650 # 0 $a Theory of Computation. $3 274475
650 # 0 $a Logic, Symbolic and mathematical $3 254195
650 # 0 $a Computer Science. $3 212513
650 # 0 $a Algorithm Analysis and Problem Complexity. $3 273702
700 0 # $a Queiroz, Ruy. $3 283966
700 0 # $a Hodges, Wilfrid. $3 283965
710 0 # $a SpringerLink (Online service) $3 273601
773 0 # $t Springer eBooks
856 4 0 $u http://libsw.nuk.edu.tw/login?url=https://doi.org/10.1007/978-3-540-69937-8 $z https://doi.org/10.1007/978-3-540-69937-8
950 $a Computer Science (Springer-11645; ZDB-2-SCS)