Вы здесь

Krupski V.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Referential Data Structures and Labeled Modal Logic 1994 Artemov S., Krupski V. Lecture Notes in Computer Science 27.07.1994
СТ Implementing and Automating Basic Number Theory in MetaPRL Proof Assistent 2004 Bryukhov Ye., Kopylov A., Krupski V., Nogin A. Moscow Computer Sience School 2004 29.10.2004
СТ Data storage interpretation of labeted modal logic 2004 Artemov S., Krupski V. Moscow Computer Sience School 2004 29.10.2004