Tag: Stefan Berghofer

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in Computer Science, 5674) by...

February 20, 2023

Ebook Info Published: 2009 Number of pages: Format: PDF File Size: 4.74 MB Authors: Stefan Berghofer Description This...

Read more

Advertisement

spot_img