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
PhysicalDescription:	Fotogr. 2, tab. 2, lit. 41 zázn. v angl.
ISSN:	0232-0274
Subjects:	databázy dokazovanie teorém logika prvého rádu články z novín a časopisov

Similar Items