Вы здесь

Schachte P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Sequence Quantification 2002 Schachte P. Lecture Notes in Computer Science 24.01.2003
СТ Global Variables in Logic Programming 1997 Schachte P. Logic Programming 11.03.1998
СТ Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation 1994 Armstrong T., Marriott K., Schachte P., Sondergaard H. Lecture Notes in Computer Science 24.11.1994