Dissemin
Language
العربيّة
Deutsch
English
Español
Suomi
Français
한국어
Македонски
Português
Português Brasileiro
Русский
Svenska
Türkçe
简体中文
繁體中文
Login
Dissemin
Papers
Schwartz, 1978
Links
[www.researchgate.net]
Tools
Export citation
×
Format
BibTeX
@article{Schwartz1978, author = {Schwartz, Jacob T.}, month = {sep}, title = {Instantiation and decision procedures for certain classes of quantified set-theoretic formulae}, year = {1978} }
Export citation
Search in Google Scholar
Instantiation and decision procedures for certain classes of quantified set-theoretic formulae
Journal article published in 1978 by
Jacob T. Schwartz
This paper was not found in any repository; the policy of its publisher is unknown or unclear.
Full text:
Unavailable
Preprint
: policy unknown
Upload
Postprint
: policy unknown
Upload
Published version
: policy unknown
Upload