Вы здесь
A New Sorted Logic
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1993
Ключевые слова:
Стр.:
P.43-54.
Библиография:
Bibliogr.: p.54
Источник:
Том:
671
Карточка:
В2.11.
Weidenbach Ch..
A New Sorted Logic// Lecture Notes in Computer Science-1993.-Vol. 671.-P.43-54.
Bibliogr.: p.54
Таблица в старой библиотеке:
PAP6 360