Mint︠s︡, G. E.
Mints, Grigori Efroimovich, 1939-2014
Minc, G. E. (1939- ).
Mint︠s︡, Grigori
Minc, Grigorij Jefimovič, 1939-2014
Mints, Grigori, 1939-2014.
Minc, Grigorij E.
Mints, G.
Mints, G. (Grigorii E.)
Григорий Ефроимович Минц советский и американский математик и илогик
Mints, G. E. 1939-
Mints, Grigori (1939- )
Минц, Григорий Ефроимович 1939-2014
Минц, Г. Е. (Григорий Ефимович)
VIAF ID: 266334008 ( Personal )
Permalink: http://viaf.org/viaf/266334008
Preferred Forms
- 200 _ | ‡a Minc ‡b Grigorij E.
-
-
-
- 100 1 _ ‡a Mints, G. E. ‡d 1939-
-
-
-
- 100 1 _ ‡a Mints, Grigori Efroimovich, ‡d 1939-2014
-
-
-
-
- 100 1 0 ‡a Mint︠s︡, G. E.
- 100 1 _ ‡a Mint︠s︡, G. E.
- 100 1 _ ‡a Mint︠s︡, Grigori
- 100 0 _ ‡a Григорий Ефроимович Минц ‡c советский и американский математик и илогик
-
-
4xx's: Alternate Name Forms (45)
Works
Title | Sources |
---|---|
COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings | |
Cut-elimination and normal forms of sequent derivations | |
Effective cut-elimination for a fragment of modal mu-calculus | |
Epsilon substitution method for elementary analysis | |
Games, logic, and constructive sets | |
Integrirovanie algebraičeskih funkcij | |
Introduction to interval computations | |
Issledovaniâ po teorii dokazatel'stv : sbornik statej | |
IV Vsesoi︠u︡znai︠a︡ konferent︠s︡ii︠a︡ Primenenie metodov matematicheskoĭ logiki : tezisy dokladov : sekt︠s︡ii︠a︡ Logika vzaimodeĭstvui︠u︡shchikh prot︠s︡essov : sekt︠s︡ii︠a︡ Algoritmika trudnykh zadach | |
IV Всесоюзная конференция "Применеие методов математической логики" : тезисы докладов | |
Lambda calculus | |
Lambda-isčislenije : Jego sintaksis i semantika | |
Logic colloquium '96 : proceedings of the colloquium held in San Sebastián, Spain, july 9-15, 1996 | |
Logičeskie osnovy sinteza programm | |
Matematičeskaâ logika i avtomatičeskoe dokazatel'stvo teorem | |
Matematičeskaja logika : Katalog zarubežnych knig Biblioteki Akademii nauk SSSR 1950-1971 gg. | |
Matematicheskai︠a︡ teorii︠a︡ logicheskogo vyvoda; sbornik perevodov. | |
Mathematical logic | |
Metamathematik der Elementarmathematik | |
MICROPRIZ, 1986: | |
MICROPRIZ : intelligent software system | |
Modal'naâ logika | |
Notes on constructive mathematics | |
Očerki po konstruktivnoj matematike | |
Problems of reducing the exhaustive search | |
Problemy sokrashchenii︠a︡ perebora | |
Recursive number theory | |
Rekursivnyj matematičeskij analiz | |
Selected papers in proof theory, c1992: | |
A short introduction to modal logic | |
Sistema programmirovanii︠a︡ MIKROPRIZ | |
Spravočnaâ kniga po matematičeskoj logike. | |
Symbolic logic and mechanical theorem proving | |
Teoretičeskie primeneniâ metodov matematičeskoj logiki : sbornik rabot. | |
Teoriâ dokazatel'stv i konstruktivnaâ matematika | |
Vvedenie v intervalnye vyčislenija / G. Alefel'd, Ju. Chercberger. - Moskva, 1987. | |
Автоматический синтез программ | |
Интегрирование алгебраических функций | |
Исследования по теории доказательств : сборник статей | |
Ламбда-исчисление : его синтаксис и семантика | |
Математическая логика и автоматическое доказательство теорем | |
Математическая теория логического вывода : сборник переводов | |
Метаматематика элементарной математики | |
Модальная логика | |
Очерки по конструктивной математике | |
Система программирования МИКРОПРИЗ |