Schreiner Pavel

Search

By title

By abstract

By keywords

By author

By series

Bu issue

By year

Pavel A. Schreiner

E-mail

schr@ngs.ru

List of Articles:

Schreiner P. Shilov N. Grebeneva J. O S. SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics // Computer Science. — 2006 . — # 24. — P. 105-117