Author:
Lettmann Michael Peter,Peltier Nicolas
Publisher
Springer International Publishing
Reference13 articles.
1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);P Baumgartner,1998
2. de Rijke, M.: In: D’Agostino, M., Gabbay, D.M., Hähnle, R., Posegga, J. (eds.) Handbook of Tableau Methods (2001). J. Logic, Lang. Inform. 10(4), 518–523
3. Eder, E.: Relative Complexities of First-Order Logic Calculi. Springer, Heidelberg (1990). https://doi.org/10.1007/978-3-322-84222-0
4. Texts and Monographs in Computer Science;M Fitting,1990
5. Lecture Notes in Computer Science;M Giese,2001
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献