Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Theory and applications of satisfiab...
~
(1998 :)
Theory and applications of satisfiability testing6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Theory and applications of satisfiability testingEnrico Giunchiglia, Armando Tacchella (eds.).
Reminder of title:
6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers /
other author:
Giunchiglia, Enrico.
corporate name:
Published:
Berlin ;Springer,c2004.
Description:
xi, 530 p. :ill., digital ;24 cm.
Series:
Lecture notes in computer science,
Contained By:
Springer e-books
Subject:
Propositional calculusCongresses.
Online resource:
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/b95238
ISBN:
9783540208518 (paper)
Theory and applications of satisfiability testing6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers /
Theory and applications of satisfiability testing
6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers /[electronic resource] :Enrico Giunchiglia, Armando Tacchella (eds.). - Berlin ;Springer,c2004. - xi, 530 p. :ill., digital ;24 cm. - Lecture notes in computer science,29190302-9743 ;.
ISBN: 9783540208518 (paper)Subjects--Topical Terms:
447104
Propositional calculus
--Congresses.
LC Class. No.: QA9.3 / .S365 2003
Dewey Class. No.: 511.3
Theory and applications of satisfiability testing6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers /
LDR
:00961nmm 2200229 a 4500
001
217510
003
GreenPo
005
20081118170550.0
006
m d
007
cr nn 008maaau
008
091014s2004 gw j eng d
020
$a
9783540208518 (paper)
035
$a
978-3-540-20851-8
050
0 0
$a
QA9.3
$b
.S365 2003
082
0 0
$a
511.3
$2
22
090
$a
QA9.3
$b
.S253 2003
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Theory and applications of satisfiability testing
$h
[electronic resource] :
$b
6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers /
$c
Enrico Giunchiglia, Armando Tacchella (eds.).
260
#
$a
Berlin ;
$a
New York :
$c
c2004.
$b
Springer,
300
$a
xi, 530 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
2919
650
# 0
$a
Propositional calculus
$v
Congresses.
$3
447104
650
# 0
$a
Decision making
$x
Congresses.
$3
198930
650
# 0
$a
Computer algorithms
$x
Congresses.
$3
202893
700
1 #
$a
Giunchiglia, Enrico.
$3
260171
700
1 #
$a
Tacchella, Armando.
$3
347059
710
2 #
$a
SpringerLink (Online service)
$3
273601
773
0 #
$t
Springer e-books
856
4 0
$u
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/b95238
950
$a
Computer Science (Lecture Notes in Computer Science)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000030438
電子館藏
1圖書
電子書
EB QA9.3 S253 2003
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/b95238
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login