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

" A computational logic / "


Document Type : BL
Record Number : 183279
Doc. No : b92283
Main Entry : Boyer, Robert S
Title & Author : A computational logic /\ Robert S. Boyer and J. Strother Moore
Publication Statement : New York :: Academic Press,, c1979
Series Statement : ACM monograph series
Page. NO : xiv, 397 p. ;; 24 cm
ISBN : 0121229505
Notes : Includes index
Bibliographies/Indexes : Bibliography: p. 385-387
Subject : Automatic theorem proving
LC Classification : ‭QA76.9.A96‬‭B68‬
Added Entry : Moore, J Strother,1947-
copyhttps://lib.clisel.com/site/catalogue/183279
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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