عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540741046
(Number (ISBN
3540741054 (e-book)
(Number (ISBN
9783540741046
(Number (ISBN
9783540741053 (e-book)
NATIONAL BIBLIOGRAPHY NUMBER
Number
dltt
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Decision procedures
General Material Designation
[Book]
Other Title Information
an algorithmic point of view /
First Statement of Responsibility
Daniel Kroening, Ofer Strichman
EDITION STATEMENT
Edition Statement
1st ed
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2008
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
304 p. :
Other Physical Details
ill. ;
Dimensions
24 cm
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
REPRODUCTION NOTE
Text of Note
Also available in print
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
TOPICAL NAME USED AS SUBJECT
Algorithms
Decision making-- Mathematical models
Propositional calculus
PERSONAL NAME - PRIMARY RESPONSIBILITY
Kroening, Daniel
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Strichman, Ofer
ORIGINATING SOURCE
Date of Transaction
20080912111528.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
