Skip to content
Back
Cesare Tinelli
Professor,
Computer Science,
College of Liberal Arts and Sciences,
University of Iowa
Computer Science
Automated Reasoning
Overview
Works (165)
Output list
Sort by
Sort by
Date-newest
Navigate to
All assets
(165)
Navigate to
Publication
(152)
Navigate to
Book chapter
(52)
Navigate to
Conference proceeding
(52)
Navigate to
Journal article
(39)
Navigate to
Edited book
(4)
Navigate to
Editorial
(2)
Navigate to
Report
(2)
Navigate to
Abstract
(1)
Navigate to
Posted Content
(11)
Navigate to
Dataset
(2)
Export all
Find research works in Publication
Results per page:
10
20
30