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

" 1: Exploring the power of automated reasoning / "


Document Type : BL
Record Number : 681060
Doc. No : b503249
Main Entry : Wos, Larry
Title & Author : 1: Exploring the power of automated reasoning /\ Larry Wos ; Gail W. Pieper.
Publication Statement : Singapore etc. :: World scientific,, 2000
Page. NO : XVII, 827 p. ;; 23 cm.
ISBN : 9810249969
Added Entry : Pieper, Gail W.
copyhttps://lib.clisel.com/site/catalogue/681060
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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