عنوان
پدید آورنده
موضوع
رده
QA9.3 .S38 1997
QA9
.
3
.
S38
1997
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0821804790
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
EB16122
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Satisfiability problem
General Material Designation
[Electronic Resource]
Other Title Information
:theory and applications : DIMACS workshop, March 11-13, 1996
First Statement of Responsibility
/ Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Providence, R.I.
Name of Publisher, Distributor, etc.
: American Mathematical Society,
Date of Publication, Distribution, etc.
, c1997.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xv, 724 p. ill. 26 cm.
SERIES
Series Title
(DIMACS series in discrete mathematics and theoretical computer science, 1052-1798
Volume Designation
; v. 35)
GENERAL NOTES
Text of Note
"NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science. A consortium of Rutgers University, Princeton University, AT&T Labs, Bell Labs, and Bellcore."
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
e
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
ng
Text of Note
Includes bibliographical references.
TOPICAL NAME USED AS SUBJECT
Propositional calculus- Congresses
Decision making- Congresses
Computer algorithms- Congresses
Computer science- Congresses
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
3
Book number
.
S38
1997
PERSONAL NAME - SECONDARY RESPONSIBILITY
Du, Dingzhu
Gu, Jun,1956-
Pardalos, P. M.(Panos M.),1954-
NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Host name
0821804790.djvu
Access number
محرمانه
Compression information
محرمانه
Electronic name
0821804790.djvu
Bits per second
0
Electronic Format Type
متن
old catalog
e
BL
1
a
Y
