Publisher
Springer Berlin Heidelberg
Reference38 articles.
1. Brown F.M.; "Towards the automation of Set Theory and its Logic". Artificial Intelligence, 10 (3), 1978, pp.281–316.
2. Brown F.M.; "An experimental logic based on the fundamental deduction principle". Artificial Intelligence, 30 (2), 1986, pp.117–263.
3. Pastre Dominique; "Automatic Theorem Proving in Set Theory". Artificial Intelligence, 10; North-Holland; 1978.
4. Ferro A., Omodeo E.G.; "An efficient validity test for formulae in extensional two-level syllogistic". Le Matematiche (Catania, Italy), 33; pp.130–137; 1978.
5. Ferro A., Omodeo E.G., Schwartz J.T.; "Decision procedures for elementary sublanguages of Set Theory. I. Multi-level syllogistic and some extensions". Comm. Pure App. Math., 33; pp.599–608; 1980.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献