OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Institution is :Other partners > National Research University of Information Technologies, Mechanics and Optics of St- Petersburg - ITMO (RUSSIA)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
  • Institution (4)
    • Other partners (4)
      • National Research University of Information Technologies, Mechanics and Optics of St- Petersburg - ITMO (RUSSIA) (4)
Number of items at this level: 4.

Soloviev, Sergei Studes of Hilbert's Epsilon Operator in the USSR. (2017) The IfCoLog Journal of Logics and their Applications, 4 (2). 425-434. ISSN 2055-3706

Luo, Zhaohui and Soloviev, Sergei Dependent Event Types. (2017) In: 24th International Workshop Logic, Language, Information, and Computation (WoLLIC 2017), 18 July 2017 - 21 July 2017 (London, United Kingdom).

Lorkowski, Joe and Kosheleva, Olga and Kreinovich, Vladik and Soloviev, Sergei How Design Quality Improves with Increasing Computational Abilities: General Formulas and Case Study of Aircraft Fuel Efficiency. (2015) Journal of Advanced Computational Intelligence and Intelligent Informatics (JACIII), 19 (5). 581-584. ISSN 1343-0130

Soloviev, Sergei On Isomorphism of Dependent Products in a Typed Logical Framework. (2015) In: 20th International Conference on Types for Proofs and Programs (TYPES 2014), 12 May 2014 - 15 May 2014 (Paris, France).

This list was generated on Mon Jan 21 14:26:39 2019 CET.