Towards a Formal Occurrence Logic based on Predicate Logic

Farshad Badie, Hans Götzsche

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceabstrakt i proceeding › Forskning › peer review

Fingeraftryk

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

Earth and Planetary Sciences

Computer Science

Mathematics