著者典拠情報

著者標目形：
Mint︠s︡, Grigori
属性：
Personal
から見よ参照形：
Mint︠s︡, G
Mints, Grigori
注記：
Institute of Cybernetics, Estonian Academy of Sciences, USSR
著者典拠ID：
DA04159790


1.

図書
図書
1. Problems of reducing the exhaustive search
V. Kreinovich, G. Mints, editors
出版情報: Providence, R.I. : American Mathematical Society, c1997
シリーズ名: American Mathematical Society translations ; ser. 2, v. 178
所蔵情報: 図書館
2.

図書
図書
2. A short introduction to modal logic (: pbk)
Grigori Mints
出版情報: Stanford, Calif. : Center for the Study of Language and Information, Leland Stanford Junior University, c1992
シリーズ名: CSLI lecture notes ; no. 30
所蔵情報: 図書館
3.

図書
図書
3. COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, proceedings (: gw ; : us)
P. Martin-Löf, G. Mints (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 417
所蔵情報: 図書館