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

" First-order logic and automated theorem proving / "


Document Type : BL
Record Number : 609982
Doc. No : dltt
Main Entry : Fitting, Melvin
Title & Author : First-order logic and automated theorem proving /\ Melvin Fitting.
Edition Statement : 2. ed
Publication Statement : New York :: Springer,, 1996
Page. NO : XVI, 326 p. ;; 24 cm.
ISBN : 0387945938
: : 9781461275152
copyhttps://lib.clisel.com/site/catalogue/609982
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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