ausblenden:
Titel:
Fourth Workshop on the Implementation of Logics
Genre der Quelle:
Konferenzband
Urheber:
Affiliations:
Ort, Verlag, Ausgabe:
Liverpool, UK : University of Liverpool, University of Manchester
Seiten:
-
Band / Heft:
-
Artikelnummer:
-
Start- / Endseite:
69 - 83
Identifikator:
-