MPG.eBooks - Search Results - "Logics And Meanings Of Programs"

Search alternatives:
meanings » meaning
programs » program

Cover Image

1

Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings

by Aagaard, Mark
Published 2000

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”