Towards a Formal Occurrence Logic based on Predicate Logic

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Towards a Formal Occurrence Logic based on Predicate Logic'. Sammen danner de et unikt fingeraftryk.

Teknik og materialevidenskab