Book Review
- 期刊名称Applied Energy
- 作者Frangopoulos, Christos A.
- 卷第131卷
- 印刷ISSN0306-2619
- 文件大小143.97KB
- 发表时间2014-10
- DOI10.1016/j.apenergy.2014.05.007
Revised structure of beauvellide a cyclodepsipeptide from Beauveria tenellaFrancois Frappier; Mary Pais; John F. Elsworth; John Frederick Grove · 1978
Faithful representation of nonmonotonic patterns of inferenceJohn Pais · 1992
Revision algebra semantics for conditional logicJohn Pais · Studia Logica · 1992
Tuberculous SpondylitisGORSE, GEOFFREY J.; PAIS, M. JOYCE; KUSSKE, JOHN A.; CESARIO, THOMAS C. · Medicine · 1983
Management of Kidney Stones in 2020Rule, Andrew D.; Lieske, John C.; Pais, Vernon M. · JAMA · 2020
Revision Algebra Semantics for Conditional LogicJohn Pais · Studia Logica: An International Journal for Symbolic Logic · 1992
Gauge federation as an alternative to unificationDonoghue, John F.; Pais, Preema · Physical Review D · 2009
Linearity: A RoadmapAlves, S.; Fernandez, M.; Florido, M.; Mackie, I. · Journal of Logic and Computation · 2012
Elementary Diagrams in InstitutionsDiaconescu, R. · Journal of Logic and Computation · 2004
A Linear Spine CalculusCervesato, I. · Journal of Logic and Computation · 2003
Propositional primal logic with disjunctionBeklemishev, L.; Gurevich, Y. · Journal of Logic and Computation · 2014
Basic primal infon logicCotrini, C.; Gurevich, Y. · Journal of Logic and Computation · 2013
Computational logic and the socialMartin, U. · Journal of Logic and Computation · 2014
Hoops and Fuzzy LogicEsteva, F. · Journal of Logic and Computation · 2003
Linear Types and LocalityTorrini, P. · Journal of Logic and Computation · 2014