Automatismo Deduttivoby Alessandro Padoa
- 期刊名称The Journal of Symbolic Logic
- 作者Review by: Albert A. Bennett
- 卷第5卷
- 期第2期
- 印刷ISSN0022-4812
- 文件大小209.46KB
- 发表时间1940-06
- DOI10.2307/2266175
[Soft Matter] Soft Matter Vol. 1 || Front MatterGompper, Gerhard; Schick, Michael · 2005
[Soft Matter] Soft Matter Vol. 2 || Front MatterGompper, Gerhard; Schick, Michael · 2005
[SPIE Digital Library Volume 8999 Complex Light and Optical Forces VIII - ()] Front Matter: Volume 8999 - Front Matter: Volume 89992014
The Popular Front || Front MatterInternational Labor and Working-Class History · 1986
Front Matter (Front Cover)The American Journal of Jurisprudence · 2013
Front Matter - Front CoverUniform Law Review - Revue de droit uniforme · 2014
Front Matter - Front CoverUniform Law Review - Revue de droit uniforme · 2014
Front Matter - Front CoverUniform Law Review - Revue de droit uniforme · 2015
The Tau MethodEduardo L. Ortiz · SIAM Journal on Numerical Analysis · 1969
Optimal Parameters for Multidimensional IntegrationP. Keast · SIAM Journal on Numerical Analysis · 1973
Numerical Methods for Semilinear Parabolic EquationsC. V. Pao · SIAM Journal on Numerical Analysis · 1987
Symmetric Coupling for Eddy Current ProblemsR. Hiptmair · SIAM Journal on Numerical Analysis · 2003
Multiplier Methods for Nonlinear Optimal ControlHager, William W. · SIAM Journal on Numerical Analysis · 1990
O.K. Floquet MultipliersThomas F. Fairgrieve and Allan D. Jepson · SIAM Journal on Numerical Analysis · 1991
Multigrid Algorithms for Variational InequalitiesHoppe, Ronald H. W. · SIAM Journal on Numerical Analysis · 1987
A Theory of ConditionRice, John R. · SIAM Journal on Numerical Analysis · 1966