Jack Schwartz

发表

Pragmatic and Theoretical Studies in Automated Repair

Paul Wright, Jack Schwartz, 1990 .

Decision Algorithms for Some Fragments of Analysis and Related Areas

Domenico Cantone, Alfredo Ferro, Eugenio G. Omodeo, 2018 .

The Pernicious Influence of Mathematics on Science

Jack Schwartz, J. Schwartz, 1992 .

Decision Procedures for Elementary Sublanguages of Set Theory. VI. Multi-Level Syllogistic Extended by the Powerset Operator

Alfredo Ferro, Jack Schwartz, Domenico Cantone, 2015 .