|aTheorem proving in higher order logics|h[electronic resource] :|b10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings /|cElsa L. Gunter, Amy Felty, eds.
260
|aBerlin ;|aNew York :|bSpringer,|cc1997.
300
|aviii, 337 p. :|bdigital ;|c24 cm.
440
0
|aLecture notes in computer science,|x0302-9743 ;|v1275
650
0
|aAutomatic theorem proving|xCongresses.
700
1
|aFelty, Amy.
700
1
|aGunter, Elsa L.
710
2
|aSpringerLink (Online service)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/BFb0028381
950
|aComputer Science (Lecture Notes in Computer Science)