This library is Copyright (c) Raphael Zulliger <zulli@gmx.net>. It is licensed under the GNU Library General Public License (LGPL)
標簽: Copyright Zulliger licensed Raphael
上傳時間: 2013-12-21
上傳用戶:希醬大魔王
1928年,Wilhelm Ackermann (1896 - 1962,David Hilbert的學生) 發現x的y次冪的z-重積分 A(x,y,z)是遞歸的但不是原始遞歸的。Rosza Peter將A(x,y,z)簡化到二元函數,初始條件由Raphael Robinson簡化。
標簽: 1928
上傳時間: 2013-12-10
上傳用戶:xfbs821
蟲蟲下載站版權所有 京ICP備2021023401號-1