Boyer R. S.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
СТ	Single-Threaded Objects in ACL2	2002	Boyer R. S., Moore J. S.				Lecture Notes in Computer Science	27.02.2002
М	A Computational Logic Handbook	1998	Boyer R. S., Moore J. S.					31.05.2000