Siefkes D.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
П	Completeness Proofs for Logic Programming	1988	Siefkes D., Hofbauer D., Kutsche R.			Techn.Univ. Berlin		21.02.1991
СТ	Prototyping is Theory Building	1989	Siefkes D.				IFIP-HUB Conf., TC9, WG9.1	21.02.1991