Doc. No.
70c
Organization Name
Alan Bundy ,David Basin
Call. No.
006. 3,A 791
Software Name
library darya
Subjects
Computer Science artificial intelligence
Indexing Date
1387/05/06
Holding Information
629
Pakage Name
Rippling :Meta-Level Guidance for Mathematical Reasoning ( Cambridge Tracts in Thoretical Computer Science )