I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Theorem Proving in Higher Order Logics 

14th International Conference, TPHOLs 2001 Edinburgh, Scotl...  Lecture Notes in Computer Science ; 2152
Boulton, Richard J. ; Jackson, Paul B. , 2001
Link: https://doi.org/10.1007/3-540-44755-5