Abstract
LATIN aims at developing methods, techniques, and tools for interfacing logics and related formal systems. These systems are at the core of mathematics and computer science and are implemented in systems like (semi-)automated theorem provers, model checkers, computer algebra systems, constraint solvers, or concept classifiers. Unfortunately, these systems have differing domains of applications, foundational assumptions, and input languages, which makes them non-interoperable and difficult to compare and evaluate in practice. © 2011 Springer-Verlag.
Cite
CITATION STYLE
Codescu, M., Horozal, F., Kohlhase, M., Mossakowski, T., & Rabe, F. (2011). Project abstract: Logic atlas and integrator (LATIN). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6824 LNAI, pp. 289–291). https://doi.org/10.1007/978-3-642-22673-1_24
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
