tlooto
Sign up
Open AccessComputer Science

Automated reasoning

Marco Gavanelli, Toni Mancini

2013.11.1Intelligenza Artificiale

DOI: 10.1007/978-3-319-40229-1

tlooto Summary

The developments on automated reasoning in the last 25 years are surveyed, with particular emphasis on the research of the Italian community and of the RCRA group, mainly on the algorithmic side.

Abstract

Abstract is not available.

Citation format

GAVANELLI, Marco; MANCINI, Toni. Automated reasoning. Intelligenza Artificiale, 2013, 7: 113–124.