Hans Götzsche - Publikationer - Aalborg Universitets forskningsportal

Vis Scopus-profil

E-mailgoetzscheikp.aaudk
Webstedhttp://www.cfl.hum.aau.dk/Organisation/Hans+Gotzsche/

Rendsburggade 14, 6-216a
9000 Aalborg
Danmark

Publikationer pr. år

1 resultater

Filter

2015
Towards a Formal Occurrence Logic based on Predicate Logic
Badie, F. & Götzsche, H., 1 aug. 2015, CLMPS and LC 2015: Book of Abstracts.
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceabstrakt i proceeding › Forskning › peer review