Sciweavers

28 search results - page 1 / 6
» aisc 2008
Sort
View
AISC
2008
Springer
15 years 16 days ago
Herbrand Sequent Extraction
Stefan Hetzl, Alexander Leitsch, Daniel Weller, Br...
AISC
2008
Springer
15 years 16 days ago
Specifying Strategies for Exercises
Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen...