Cover Image

Computational Complexity of Probabilistic Searching Algorithms over Herbrand Universes

Bibliographic Details
Main Authors: Kramosil, Ivan (Author), Šindelář, Jan (Author)
Format: Article
Language:Slovak
English
PhysicalDescription:Res. rus., angl., lit. 4 zázn. v angl.
Subjects:
Herbrandove priestory
algoritmy pravdepodobnostné
články z novín a časopisov
Description
Physical Description:Res. rus., angl., lit. 4 zázn. v angl.

Similar Items