海量图书期刊资源,随时随地畅享阅读乐趣
The logic of inexact conceptsJ. A. Goguen · Synthese · 1969
Realization is universalJ. A. Goguen · Theory of Computing Systems · 1972
The Logic of Inexact ConceptsJ. A. Goguen · Synthese · 1969
Categories of $V$-setsGoguen, J. A. · Bulletin of the American Mathematical Society · 1969
More thoughts on specification and verificationGoguen, J. A. · ACM SIGSOFT Software Engineering Notes · 1981
Data, Schema, Ontology and Logic IntegrationGoguen, J. A. · Logic Journal of IGPL · 2005
No Large Brightness Variations on NereidBonnie J. Buratti; Jay D. Goguen; Joel A. Mosher · 1997
Minimal realization of machines in closed categoriesGoguen, J. A. · Bulletin of the American Mathematical Society · 1972
The Feynman Operator CalculusW. L. Miranker and B. Weiss · SIAM Review · 1966
Semidefinite ProgrammingLieven Vandenberghe and Stephen Boyd · SIAM Review · 1996
Centrosymmetric MatricesAlan L. Andrew · SIAM Review · 1998
A Framework for Equilibrium EquationsGilbert Strang · SIAM Review · 1988
Geometric Statistics in TurbulencePeter Constantin · SIAM Review · 1994
Optimal Stopping Problems in Stochastic ControlAvner Friedman · SIAM Review · 1979
Mathematics of Speculative PricePaul A. Samuelson · SIAM Review · 1973
Mathematical Methods in Electromagnetismby Michel CessenatReview by: Peter Monk · SIAM Review · 1998