Home
Overview
Publications
Lectures and Talks
Software
Related links
 
 
People
Alessandro Armando
 
Silvio Ranise
 
 
 
Affiliation
AI-Lab
DIST
Università di Genova

The Constraint Contextual Rewriting Project


Lectures and Talks

Integration of Decision Procedures in Automated Reasoning.
Given by Alessandro Armando during the CALCULEMUS Autumn School, Pisa, Oct 30 - Nov 1, 2002

[ Home | Overview | Publications | Lectures and Talks | Software | Related links ]


This web site is maintained by the AI-Lab webmaster.
Last updated: 14-Dec-2006