1 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Utrecht University; yesterday published in Netherlands
Sort by
Refine Your Search
-
, and how plausible memory models can predict diverse quantitative data in linguistics and cognitive science. The project has two components: an empirical one and a computational one. The empirical strand
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions