Location & Availability for: Theorem proving in higher order logics :

 Staff view

You must be logged in to Tag Records

Theorem proving in higher order logics : 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 ; proceedings /

Otmane Ait Mohamed, Cesar Munoz, Sofiene Tahar (eds.).

Book Cover
Names: Ait Mohamed, Otmane. | Muñoz, César A., | Tahar, Sofiène,
Published: Berlin : Springer, 2008.
Series: Lecture notes in computer science ; 5170.
Topics: Automatic theorem proving - Congresses. | Informatique.
Genres: Electronic books. | Conference papers and proceedings.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Theorem proving in higher order logics :