Menu
Home
Help and information
About this website
Privacy Policy
Alexander Leitsch
2 published titles
Automated model building
(Contributor)
1 edition
ISBN: 1402026536
Kluwer Academic
2004
Details
Methods of cut-elimination
(Contributor)
1 edition
ISBN: 9789400703193
Springer
2011
Details