Automated reasoning

By Marco Gavanelli, Toni Mancini. Lecture Notes in Computer Science, 2013

298 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/6fe2b5800f36b45b21010738a19e0ccb2a2ee180