南開科技大學圖書館 |

Language: English

Back

Switch To: Labeled | MARC Mode | ISBD

Theory and applications of satisfiab...

Giunchiglia, Enrico.

Theory and applications of satisfiability testing :6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Theory and applications of satisfiability testing :/ Enrico 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:	SAT 2003
Published:	Berlin ;Springer,c2004.
Description:	xi, 530 p. :ill. ;24 cm.
Series:	Lecture notes in computer science,
標題:	Propositional calculus - Congresses. -
ISBN:	3540208518 (softcover : alk. paper) :

Theory and applications of satisfiability testing :6th 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 /Enrico Giunchiglia, Armando Tacchella (eds.). - Berlin ;Springer,c2004. - xi, 530 p. :ill. ;24 cm. - Lecture notes in computer science,29190302-9743 ;.

Includes bibliographical references and index.

ISBN: 3540208518 (softcover : alk. paper) :NT2270

LCCN: 2004041323Subjects--Topical Terms:

170866
Propositional calculus
--Congresses.

LC Class. No.: QA9.3 / .S365 2004

Dewey Class. No.: 511.3

Theory and applications of satisfiability testing :6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers /
LDR:00786cam _22001934a_450 001 141026
005 20040515093125.0
008 040102s2004 gw a b 101 0 eng
010 $a 2004041323
020 $a 3540208518 (softcover : alk. paper) : $c NT2270
035 $a 00113940
040 $a DLC $c DLC $d DLC
042 $a pcc
050 0 0 $a QA9.3 $b .S365 2004
082 0 0 $a 511.3 $2 22
111 2 $a SAT 2003 $d (2003 : $c Santa Margherita Ligure, Italy) $3 170863
245 1 0 $a Theory and applications of satisfiability testing : $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 : $b Springer, $c c2004.
300 $a xi, 530 p. : $b ill. ; $c 24 cm.
440 0 $a Lecture notes in computer science, $x 0302-9743 ; $v 2919
504 $a Includes bibliographical references and index.
650 0 $a Propositional calculus $v Congresses. $3 170866
650 0 $a Decision making $v Congresses. $3 170867
650 0 $a Computer algorithms $v Congresses. $3 170868
700 1 $a Giunchiglia, Enrico. $3 170864
700 1 $a Tacchella, Armando. $3 170865