Вы здесь
Krupski V.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Data storage interpretation of labeted modal logic | 2004 | Artemov S., Krupski V. | Moscow Computer Sience School 2004 | 29.10.2004 | |||
| СТ | 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 | |||
| СТ | Referential Data Structures and Labeled Modal Logic | 1994 | Artemov S., Krupski V. | Lecture Notes in Computer Science | 27.07.1994 |