SFB 378 Einstiegsseite Postscript File BibTeX Eintrag

C
LISA

A Tableau Calculus for Partial Functions

Autor: Manfred Kerber and Michael Kohlhase

Herausgeber:


SFB 378 Einstiegsseite Postscript File BibTeX Eintrag