عنوان
پدید آورنده
موضوع
رده
QA۲۹۷/۷ /ک۴د۹ ۱۳۸۷
QA
۲۹۷
/
۷
/
ک
۴
د
۹ ۱۳۸۷
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
Terms of Availability and/or Price
306644
(Number (ISBN
978-3-540-74104-6
NATIONAL BIBLIOGRAPHY NUMBER
Number
۱۷۵۰۴۳۸
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Decision procedures : an algorithmic point of view
First Statement of Responsibility
/ Daniel Kroening, Ofer Strichman
Subsequent Statement of Responsibility
; foreworded by Randal E. Bryant.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
=1387.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xvi, 304 ص.
GENERAL NOTES
Text of Note
انگلیسی.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
کتابنامه: [285]-297.
Text of Note
نمایه.
دیسیژن ...
TOPICAL NAME USED AS SUBJECT
Entry Element
تجزیه و تحلیل ترتیبی
Entry Element
الگوریتمها
Entry Element
تصمیمگیری آماری
DEWEY DECIMAL CLASSIFICATION
Number
۵۱۹
/
۵۴۲
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
۲۹۷
/
۷
Book number
/
ک
۴
د
۹ ۱۳۸۷
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
کرونینگ
Entry Element
Kroening
Part of Name Other than Entry Element
، دانیل
Part of Name Other than Entry Element
, Daniel
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Entry Element
استریچمن
Entry Element
Strichman
Part of Name Other than Entry Element
، آفر
Part of Name Other than Entry Element
, Ofer
PERSONAL NAME - SECONDARY RESPONSIBILITY
Entry Element
برایانت
Entry Element
Bryant
Part of Name Other than Entry Element
، رندل
Part of Name Other than Entry Element
, Randal
Dates
، مقدمهنویس
