Click’n Prove: Interactive Proofs within Set Theory

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/10930755_1 ◽

2003 ◽

pp. 1-24 ◽

Cited By ~ 28

Author(s):

Jean-Raymond Abrial ◽

Dominique Cansell

Keyword(s):

Set Theory ◽

Interactive Proofs

Download Full-text

Quine, New Foundations, and the Philosophy of Set Theory

10.1017/9781316591321 ◽

2018 ◽

Cited By ~ 2

Author(s):

Sean Morris

Keyword(s):

Set Theory ◽

New Foundations ◽

Philosophy Of Set Theory

Download Full-text

Appendix: glossary of terms used in pitch-class set theory

Tippett Studies ◽

10.1017/cbo9780511481994.013 ◽

1999 ◽

pp. 223-224

Keyword(s):

Set Theory ◽

Pitch Class

Download Full-text

A Course on Set Theory

10.1017/cbo9780511996351 ◽

2009 ◽

Cited By ~ 3

Author(s):

Ernest Schimmerling

Keyword(s):

Set Theory

Download Full-text

Set Theory

10.1017/cbo9781316341346 ◽

2016 ◽

Cited By ~ 1

Author(s):

Daniel W. Cunningham

Keyword(s):

Set Theory

Download Full-text

Decision making and Uznadzian set theory

PsycEXTRA Dataset ◽

10.1037/e668292012-407 ◽

1976 ◽

Author(s):

Youssef Sabry

Keyword(s):

Decision Making ◽

Set Theory

Download Full-text

Modelling the interaction of factors in psychological disorders using the set theory

PsycEXTRA Dataset ◽

10.1037/e682942012-025 ◽

2011 ◽

Author(s):

J. M. John Marshal

Keyword(s):

Set Theory ◽

Psychological Disorders

Download Full-text

Abstract Set Theory

10.1016/s0049-237x(09)x7006-0 ◽

1953 ◽

Keyword(s):

Set Theory

Download Full-text

Objectively Evaluation of the Structure of Logistics Industry Based on Rough Set Theory

International Conference on Transportation Engineering 2007 ◽

10.1061/40932(246)134 ◽

2007 ◽

Author(s):

C. Z. Jiang ◽

Q. Y. Peng ◽

W. B. Huang ◽

F. Xu

Keyword(s):

Set Theory ◽

Rough Set ◽

Rough Set Theory ◽

Logistics Industry

Download Full-text

An efficient computational method for parameter identification in the context of random set theory via Bayesian inversion

International Journal for Uncertainty Quantification ◽

10.1615/int.j.uncertaintyquantification.2020031869 ◽

2020 ◽

Author(s):

Truong Vinh Hoang ◽

Hermann G. Matthies

Keyword(s):

Parameter Identification ◽

Set Theory ◽

Computational Method ◽

Bayesian Inversion ◽

Random Set ◽

Random Set Theory

Download Full-text

The decision-making method of pavement maintenance based on rough set theory and set pair analysis

Advances in Management Engineering and Information Technology ◽

10.2495/ameit140641 ◽

2015 ◽

Author(s):

H.L. Zhang ◽

Y. Wang ◽

S.G. Huang

Keyword(s):

Decision Making ◽

Set Theory ◽

Rough Set ◽

Rough Set Theory ◽

Set Pair Analysis ◽

Pavement Maintenance ◽

Pair Analysis

Download Full-text