Filter
Konferenceabstrakt i proceeding

Søgeresultater

  • 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 proceedingKonferenceabstrakt i proceedingForskningpeer review