From logic to logic programming. Theroem proving techniques and P-functions. /Od logiky k logickému programovaniu

Bibliographic Details
Main Authors:	Fiby, Rudolf, 1946-2014 (Author), Snyers, D. (Author), Thayse, A. (Author)
Format:	Article
Language:	English
Subjects:	programovacie jazyky Prolog (programovací jazyk) logické programovanie logika články z novín a časopisov

Similar Items