Вы здесь

Meyer J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Architecture for Interactive Program Provers 2000 Meyer J., Poetzsch-Heffter A. Lecture Notes in Computer Science 26.04.2000
СТ Epistemic Logic for Computer Science: A Tutorial (Part One) 1991 Meyer J., Van Der Hock W., Wreeswijk G. EATCS Bull. 19.09.1991

Редактор: