Вы здесь

Korn D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Multi-level Approach to Program Synthesis 1998 Bibel W., Korn D., Kreitz C., Kurucz F., Otten J., Schmitt S., Stolpmann G. Lecture Notes in Computer Science 14.10.1998
СТ Infrastructure for Wide-Area Software Development 1996 Belanger D., Korn D., Rao H. Lecture Notes in Computer Science 03.12.1996
СТ Issues in Theorem Proving Based on the Connection Method 1995 Bibel W., Bruning S., Egly U., Korn D., Rath T. Lecture Notes in Artificial Intelligence 02.06.1995
СТ A New Dimension for the Unix File System 1990 Korn D., Krell E. Software - Practice and Experience 05.12.1991