Browsing Education by Subject "Web Interface"

Now showing items 1-1 of 1

Teaching logic using a state-of-art proof assistant

Maxim Hendriks; Cezary Kaliszyk; Femke van Raamsdonk; Freek Wiedijk (Babes-Bolyai University, Cluj-Napoca, )

Now showing items 1-1 of 1

Search Think! Evidence

Browse

All of Think! Evidence
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account

Login