학술논문 – 부산대학교 도서관

학술논문

replay검색결과 돌아가기

search검색화면

A finite-model-theoretic view on propositional proof complexity

Document Type

Document

Author

Grädel, E.; Grohe, M.; Pago, B.; Pakusa, W.

Source

In: arXiv. (arXiv, 26 February 2018)

Subject

Language

English

Online Access

Scopus

이메일