Total Books: 1 - 3 /3
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, ...
Lire la suite
Formalizing Medieval Logical Theories
This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence ...
Lire la suite
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 ...
Lire la suite
Total Books: 1 - 3 /3
