Вы здесь

The single-conclusion proof logic and inference rules specification

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2004
Место издания: 
Карточка: 

Б2.13.

Krupski V. N..

The single-conclusion proof logic and inference rules specification-Москва.// Moscow Computer Sience School 2004, 2004.

Таблица в старой библиотеке: 
PAP29 504