國立高雄大學圖資館 |

Language: English

圖資館首頁

Login

Back

Switch To: Labeled | MARC Mode | ISBD

SAT 2005 :Satisfiability Research in the Year 2005 /

Record Type:	Electronic resources : Monograph/item
Title/Author:	SAT 2005 :edited by Enrico Giunchiglia, Toby Walsh.
Reminder of title:	Satisfiability Research in the Year 2005 /
other author:	Giunchiglia, Enrico.
Published:	Dordrecht :Springer,2006.
Description:	v.: digital
Subject:	Information theory
Online resource:	http://dx.doi.org/10.1007/978-1-4020-5571-3
ISBN:	9781402045523 (paper)

SAT 2005 :Satisfiability Research in the Year 2005 /
SAT 2005 :Satisfiability Research in the Year 2005 /[electronic resource] :edited by Enrico Giunchiglia, Toby Walsh. - Dordrecht :Springer,2006. - v.: digital

ISBN: 9781402045523 (paper)Subjects--Topical Terms:

253413
Information theory

LC Class. No.: QA76.9.A43 / S28 2006

Dewey Class. No.: 004

SAT 2005 :Satisfiability Research in the Year 2005 /
LDR:00798nmm _22002175a_450 001 178245
003 Springer
005 20070821115118.0
006 m e
007 cr nn 008mamaa
008 090528s2006 ne j eng d
020 $a 9781402045523 (paper)
020 $a 9781402055713 (electronic bk.)
035 $a 00287157
050 0 0 $a QA76.9.A43 $b S28 2006
082 0 4 $2 22 $a 004
090 $a QA76.9.A43 $b S253 2006
245 0 0 $a SAT 2005 : $b Satisfiability Research in the Year 2005 / $c edited by Enrico Giunchiglia, Toby Walsh. $h [electronic resource] :
260 # $a Dordrecht : $c 2006. $b Springer,
300 $b v.: digital
650 # 0 $a Information theory $3 253413
650 # 0 $a Artificial intelligence $3 252958
650 # 0 $a Computer Science $3 253538
650 # 0 $a Theory of Computation $3 253415
650 # 0 $a Artificial Intelligence (incl. Robotics) $3 252959
700 0 # $a Giunchiglia, Enrico. $3 260171
700 0 # $a Walsh, Toby. $3 260172
856 4 0 $u http://libsw.nuk.edu.tw/login?url=http://dx.doi.org/10.1007/978-1-4020-5571-3 $z http://dx.doi.org/10.1007/978-1-4020-5571-3
950 $a Computer Science (Springer-11645; ZDB-2-SCS)

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

000000005804

電子館藏

1圖書

電子書

EB QA76.9.A43 S253 2006

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Multimedia

Multimedia file
http://libsw.nuk.edu.tw/login?url=http://dx.doi.org/10.1007/978-1-4020-5571-3

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login