Comparing Classical And Relativistic Kinematics In First-Order Logic

Koen Lefever, Gergely Székely

Research output: Contribution to journalArticle

5 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Comparing Classical And Relativistic Kinematics In First-Order Logic'. Together they form a unique fingerprint.

Arts & Humanities