Author:
Cohen Arjeh,Murray Scott H.,Pollet Martin,Sorge Volker
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Lecture Notes in Computer Science;A. Bundy,1988
2. Caprotti, O., Oostdijk, M.: Formal and efficient primality proofs by use of computer algebra oracles. J. of Symbolic Computation 32(1/2) (2001)
3. Cohen, A., Murray, S.: An automated proof theory approach to computation with permutation groups. Tech. report, Dept. of Mathematics, TUEindhoven (2002)
4. Lecture Notes in Artificial Intelligence;J. Siekmann,2002
5. Lecture Notes in Artificial Intelligence;A. Fiedler,2001
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献