Sort by
Refine Your Search
-
(also verified by automated theorem proving) etc. - AUTOMATA TUTOR (available at [1], described in publication [2]) is a tool to teach undergraduate students the basics of theoretical computer science. It
Enter an email to receive alerts for post-doc-computer-science-"https:" positions