Project Abstract: Logic Atlas and Integrator (LATIN)

@inproceedings{pub5828,
    author = {

Codescu, Mihai
 and 

Horozal, Fulya
 and 

Kohlhase, Michael
 and 

Mossakowski, Till
 and 

Rabe, Florian
},
    editor = {

Davenport, James H.
 and 

Farmer, William M.
 and 

Urban, Josef
 and 

Rabe, Florian
},
    title = {Project Abstract: Logic Atlas and Integrator (LATIN)},
    booktitle = {Intelligent Computer Mathematics. Conference on Intelligent Computer Mathematics (CICM-11), July 18-23, Bertinoro, Forli, Italy},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2011},
    volume = {6824},
    pages = {289--291},
    publisher = {Springer}
}