Think! Evidence Home
→
F. Electronic Journals
→
Browsing F. Electronic Journals by Subject

Browsing F. Electronic Journals 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 Community
- By Issue Date
- Authors
- Titles
- Subjects

My Account

Login