Вы здесь

Kowalski R. A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Legislation as Logic Programs 1992 Kowalski R. A. Lecture Notes in Artificial Intelligence 04.10.1992
СТ Temporal Database Technology for Air Traffic Flow Management 1994 Sripada S. M., Rosser B. L., Bedford J. M., Kowalski R. A. Lecture Notes in Computer Science 05.08.1994
СТ An Argumentation-Theoretic Approach to Logic Program Transformation 1996 Toni F., Kowalski R. A. Lecture Notes in Computer Science 30.03.1996
СТ Reduction of Abductive Logic Programs to Normal Logic Programs 1995 Toni F., Kowalski R. A. Logic Programming: Proc. of the Twelfth Intern. Conf. 08.05.1996
СТ Synthesis of Proof Procedures for Default Reasoning 1997 Dung P. M., Kowalski R. A., Toni F. Lecture Notes in Computer Science 12.04.1997
СТ Directions for Logic Programming 2002 Kowalski R. A. Lecture Notes in Computer Science 29.08.2002

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Logic Programming: Proc./Fifth Intern.Conf. and Symp. 1988
  1. Kowalski R. A.
  2. Bowen K. A.
26.09.1994