عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
NATIONAL BIBLIOGRAPHY NUMBER
Number
۳۹۶۴۳۵۳
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
SAT2000 : highlights of satisfiability research in the year 2000
General Material Designation
[کتاب]
First Statement of Responsibility
/Ian Gent , Hans van Maaren, Toby Walsh.
ba
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam
Name of Publisher, Distributor, etc.
: IOS Press
Date of Publication, Distribution, etc.
= 1379.
ba
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
۵۶۱ ص.
Other Physical Details
: مصور، نمودار.
SERIES
Series Title
Frontiers in artificial intelligence and applications
Volume Designation
; 63.
ba
ORIGINATING SOURCE
Country
ایران
Agency
کتابخانه ملی ایران
Date of Transaction
20150920
در انتظار فهرستنویسی (اطلاعات ثبت)
BF
137516
1
a
Y
