00672cam a2200169 a 450000500170000000800410001702000150005803500150007305000250008824501930011326000370030630000110034344000490035465000420040370000280044570000290047320260818133543.0080624s1994    us      r     000|0 eng |  a3540584501  a.b1140734700aQA76.9 A96bH54 199400aHigher order logic theorem proving and its applications :b7th International Workshop, Valletta, Malta, September 19-22, 1994 : proceedings /cThomas F. Melham and Juanito Camilleri (eds.)  aBerlin :bSpringer-Verlag,c1994  a470 p. 0aLecture notes in computer science ;vno. 859 0aAutomatic theorem provingvCongresses1 aMelham, Thomas F.,eed.1 aCamilleri, Juanito,eed.