عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
9401702535
9789401702539
b596551
Thirty Five Years of Automating Mathematics.
[Book]
Dov M Gabbay
Dordrecht
Springer Netherlands
2010
(323 pages).
Applied logic series.
Title Page; Copyright; CONTENTS; LIST OF CONTRIBUTORS; INDEX.
Logic, Symbolic and mathematical.
Dov M Gabbay
Dov M Gabbay
Fairouz D Kamareddine
Jon Barwise
مطالعه متن کتاب [Book]
Y
