|aTheorem proving in higher order logics|h[electronic resource] :|b13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings /|cMark Aagaard, John Harrison (eds.).
260
|aBerlin ;|aNew York :|bSpringer,|cc2000.
300
|aix, 533 p. :|bdigital ;|c25 cm.
440
0
|aLecture notes in computer science|x0302-9743 ;|v1869
650
0
|aAutomatic theorem proving|vCongresses.
700
1
|aAagaard, Mark.
700
1
|aHarrison, John.
710
2
|aSpringerLink (Online service)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/3-540-44659-1
950
|aComputer Science (Lecture Notes in Computer Science)