Mechanical theorem proving of differential geometries and some of its applications in mechanics Wu Wen-Tsun OriginalPaper Pages: 171 - 191
Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators D. Cantone OriginalPaper Pages: 193 - 230
Decision procedures for elementary sublanguages of set theory: XI. Multilevel syllogistic extended by some elementary map constructs D. CantoneJ. T. Schwartz OriginalPaper Pages: 231 - 256
Decision procedures for elementary sublanguages of set theory: XII. Multilevel syllogistic extended with singleton and choice operators A. Ferro OriginalPaper Pages: 257 - 270
Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability Franco ParlamentoAlberto Policriti OriginalPaper Pages: 271 - 284
More on the problem of finding a mapping between clause representation and natural-deduction representation Peter B. Andrews Basic Research Problem Pages: 285 - 286