|
СТ |
Types of Trilogy |
1988 |
Voda P. J. |
|
|
|
Logic Programming: Proc./Fifth Intern. Conf. and Symp. |
03.10.1994 |
|
СТ |
Syntactic Reduction of Predicate Tableaux to Propositional Tableaux |
1995 |
Komara J., Voda P. J. |
|
|
|
Lecture Notes in Artificial Intelligence |
02.06.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 |
|
СТ |
Subrecursion as a Basis for a Feasible Programming Language |
1995 |
Voda P. J. |
Lecture Notes in Computer Science |
|
|
Computer Science Logic |
24.09.1995 |
