Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / John Harrison (editor)

Books by author

John Harrison (editor)

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science, 1869)

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science, 1869)

2000 · ENGLISH · PDF

View details →

Doing Global Urban Research

Doing Global Urban Research

2018 · ENGLISH · EPUB

View details →

Doing Global Urban Research

Doing Global Urban Research

2018 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme