الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 3 /3
NoIMG
Formalization of Banking Supervision : 19th–20th Centuries / Eiji HotoriMikael WendschlagThibaud Giddey

Elaborate the formalization phase of banking supervision in eight developed countries—USA, Japan, Sweden, Germany, Switzerland, ...

اقرأ المزيد
978-1-4020-5853-0
Formalizing Medieval Logical Theories

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence ...

اقرأ المزيد
978-3-540-32888-9
The Seventeen Provers of the World

Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...

اقرأ المزيد
عدد الكتب: 1 - 3 /3