Вы здесь

Artemov S. N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Operations on proofs thet can be specified by means of modal logic 2004 Artemov S. N. Moscow Computer Sience School 2004 - Лекции по мат. логике 29.10.2004
СТ Logic of Proofs 2004 Artemov S. N. Moscow Computer Sience School 2004 29.10.2004
СТ Explicit Provability and Constructive Semantics 2004 Artemov S. N. Moscow Computer Sience School 2004 29.10.2004
СТ On Explicit Reflection in Theorem Proving and Formal Verification 2004 Artemov S. N. Moscow Computer Sience School 2004 29.10.2004
СТ Unified Semantics for Modality and Lambda-terms via Proof Polinomials 2004 Artemov S. N. Moscow Computer Sience School 2004 29.10.2004
СТ Operational modal logic 2004 Artemov S. N. Moscow Computer Sience School 2004 29.10.2004
СТ Kolmogorov and Godel s approach to intuitionistic logic: current developments 2004 Artemov S. N. Moscow Computer Sience School 2004 29.10.2004

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2007. New York, NY, USA, June 2007 2007 Lecture Notes in Computer Science
  1. Artemov S. N.
  2. Nerode A.
26.07.2007