Book chapter 361 views
Proof theory at work: Program development in the Minlog system / Monika, Seisenberger
Automated Deduction - A Basis for Applications, Volume: II, Pages: 41 - 71
Swansea University Author: Monika, Seisenberger
Proof theory at work: Program development in the Minlog system
|Published in:||Automated Deduction - A Basis for Applications|
No Tags, Be the first to tag this record!
College of Science