Repository | Directory | Profile
Florent Franchette
Oracle hypermachines faced with the verification problem
2013
in: Computing nature, Dordrecht : Springer
2012
Philosophia Scientiae 16/3
Central and East European
Society for Phenomenology
Central and East European
Society for Phenomenology
Repository | Directory | Profile
Oracle hypermachines faced with the verification problem
2013
in: Computing nature, Dordrecht : Springer
2012
Philosophia Scientiae 16/3