Machine%20Assistance%20for%20Formal%20and%20Semi-Formal%20Reasoning - PowerPoint PPT Presentation

} ?>
View by Category
About This Presentation
Title:

Machine%20Assistance%20for%20Formal%20and%20Semi-Formal%20Reasoning

Description:

Machine Assistance for Formal and Semi-Formal Reasoning Andrei Lapets May 20, 2010 – PowerPoint PPT presentation

Number of Views:77
Avg rating:3.0/5.0
Slides: 73
Provided by: bue95
Learn more at: http://cs-people.bu.edu
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com