Controlling the Consumption of Storage with Sliding Priority Search in a Hyper-Linking Based Theorem Prover

Bibliographic Details
Main Authors:	Lee, Shie-Jue (Author), Plaisted, David A. (Author)
Format:	Article
Language:	Slovak
Subjects:	databázy dokazovanie teorém logika prvého rádu články z novín a časopisov

Similar Items