Cited By
View all- Sammet J(1993)The beginning and development of FORMAC (FORmula MAnipulation Compiler)ACM SIGPLAN Notices10.1145/155360.15537228:3(209-230)Online publication date: 1-Mar-1993
- Sammet JLee JSammet J(1993)The beginning and development of FORMAC (FORmula MAnipulation Compiler)The second ACM SIGPLAN conference on History of programming languages10.1145/154766.155372(209-230)Online publication date: 1-Apr-1993
- Kapitonova YKostyrko VLyaletskii ADegtyarev AMalashonok AAnufriev FAsel'derov Z(1974)A brief review and bibliography of investigations into automation of search of theorem proofs in formal theoriesCybernetics10.1007/BF010684448:5(714-729)Online publication date: 1974
- Show More Cited By