Computational Complexity of Probabilistic Searching Algorithms over Herbrand Universes

Bibliographic Details
Main Authors:	Kramosil, Ivan (Author), Šindelář, Jan (Author)
Format:	Article
Language:	Slovak English
Subjects:	Herbrandove priestory algoritmy pravdepodobnostné články z novín a časopisov

Similar Items