Sciweavers

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