منو
رکورد قبلیرکورد بعدی

" Decision procedures "


Document Type : BL
Record Number : 650310
Doc. No : dltt
Main Entry : Kroening, Daniel
Title & Author : Decision procedures : an algorithmic point of view /\ Daniel Kroening, Ofer Strichman
Edition Statement : 1st ed
Publication Statement : Berlin :: Springer,, 2008
Page. NO : 304 p. :: ill. ;; 24 cm
ISBN : 9783540741046
: : 3540741046
: : 9783540741053 (e-book)
: : 3540741054 (e-book)
Bibliographies/Indexes : Includes bibliographical references and index
Subject : Decision making-- Mathematical models
Subject : Algorithms
Subject : Propositional calculus
Added Entry : Strichman, Ofer
copyhttps://lib.clisel.com/site/catalogue/650310
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟