An edition of Theorem proving in higher order logics (1997)
Theorem proving in higher order logics
10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings
By TPHOLs '97 (1997 Murray Hill, N.J.)
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1997
Publisher
Springer
Language
eng
Pages
337
Description:
subjects: Congresses, Automatic theorem proving, Ciencia da computacao ou informatica, Symbolic and mathematical Logic, Automatische bewijsvoering, Software engineering, Inteligencia artificial (computacao), Logic design, Logica, Computer science, Congres, Demonstration automatique, Theoremes, Logic, symbolic and mathematical