|aTheorem proving in higher order logics|h[electronic resource] :|b15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings /|cVictor A. Carreno, Cesar A. Munoz, Sofiene Tahar, eds.
260
|aBerlin ;|aNew York :|bSpringer,|cc2002.
300
|ax, 347 p. :|bill., digital ;|c24 cm.
440
0
|aLecture notes in computer science,|x0302-9743 ;|v2410
650
0
|aAutomatic theorem proving|vCongresses.
700
1
|aCarreno, Victor A.
700
1
|aMunoz, Cesar A.
700
1
|aTahar, Sofiene.
710
2
|aSpringerLink (Online service)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/3-540-45685-6
950
|aComputer Science (Lecture Notes in Computer Science)