Вы здесь

Voda P. J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Subrecursion as a Basis for a Feasible Programming Language 1995 Voda P. J. Lecture Notes in Computer Science Computer Science Logic 24.09.1995
СТ Programming by Logic and Logic by Programming 1994 Voda P. J., Komara J. Czech Society for Computer Science, Slovak Society for Computer Science XXI SOFSEM 94 09.09.1995
СТ Syntactic Reduction of Predicate Tableaux to Propositional Tableaux 1995 Komara J., Voda P. J. Lecture Notes in Artificial Intelligence 02.06.1995
СТ Types of Trilogy 1988 Voda P. J. Logic Programming: Proc./Fifth Intern. Conf. and Symp. 03.10.1994