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

" Thirty Five Years of Automating Mathematics. "


Document Type : BL
Record Number : 776554
Doc. No : b596551
Main Entry : Dov M Gabbay
Title & Author : Thirty Five Years of Automating Mathematics.\ Dov M Gabbay
Publication Statement : Dordrecht : Springer Netherlands, 2010
Series Statement : Applied logic series.
Page. NO : (323 pages).
ISBN : 9401702535
: : 9789401702539
Contents : Title Page; Copyright; CONTENTS; LIST OF CONTRIBUTORS; INDEX.
Subject : Logic, Symbolic and mathematical.
Added Entry : Dov M Gabbay
: Fairouz D Kamareddine
: Jon Barwise
copyhttps://lib.clisel.com/site/catalogue/776554
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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