Project Abstract: Logic Atlas and Integrator (LATIN). Conferences

Overview
Identity
Additional Document Info
View All

authors

Farmer, William Michael
Codescu, Mihai
Horozal, Feryal Fulya
Kohlhase, Michael
Mossakowski, Till
Rabe, Florian

publication date

2011

published in

Calculemus/MKM Journal