Displaying 1 of 1 results for undefined
Theorem proving in higher order logics : 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : proceedings / Stefan Berghofer [and others] (ed.)
Text
Berlin ; New York : Springer, 2009.
2009
1 Item
Format | Call Number | Item Location |
---|---|---|
FormatText | Call NumberQA76.9.A96 T655 2009g | Item LocationOff-site |