Michèle Friend

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 2

Top Topics

Genetic Algorithm

Dissimilarity Measure

Ontological Engineering

Top Venues

Rev. Symb. Log.

Publications

Mohamed Khaled, Gergely Székely, Koen Lefever, Michèle Friend
Distances between Formal Theories. Rev. Symb. Log. 13 (3) (2020)
Michèle Friend
On the epistemological significance of the hungarian project. Synth. 192 (7) (2015)
Norma B. Goethe, Michèle Friend
Confronting Ideals of Proof with the Ways of Proving of the Research Mathematician. Stud Logica 96 (2) (2010)
Michèle Friend
Boole: From Calculating Numbers to Calculating Thoughts. CiE (2010)