By Schwichtenberg H.   in Theoretical Computer Science

ISSN:0304-3975|212|1|247-260

Elsevier‎(1999)‎

Access to resources Favorite 15.012901

By Schwichtenberg H.   in Studia Logica

ISSN:0039-3215|62|2|283-289

Springer Publishing Company ‎(1999)‎

Access to resources Favorite 15.012901

Proof Technology and Computation‎

By Spies K.;Schwichtenberg H.  

ISBN:9781607501800

Ios Press‎(2006)‎

Access to resources Favorite 11.66861