Publikation

What is a logic translation?

Till Mossakowski, Andrzej Tarlecki, Razvan Diaconescu

Seiten 95-124 Logica Universalis 3 (1) 2007.

Weitere Links

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence