Higher order logic theorem proving and its applications: proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92/
Corporate Authors: | IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Interuniversity Micro-Electronics Center, Commission of the European Communities |
---|---|
Other Authors: | Claesen, Luc J. M., Gordon, Michael J. C., |
Format: | Book |
Language: | English |
Published: |
Amsterdam:
North-Holland,
1993
|
Series: | IFIP transactions.. A, Computer science and technology
20 |
Subjects: |
Similar Items
-
First-order logic and automated theorem proving/
by: Fitting, Melvin, 1942-
Published: (1990) -
Theorem proving in higher order logics : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 :proceedings /
Published: (1997) -
Automated theorem proving : theory and practice /
by: Newborn, Monty
Published: (2001) -
First-order logic and automated theorem proving
by: Fitting, Melvin, 1942-
Published: (1996) -
First-order logic and automated theorem proving /
by: Fitting, Melvin, 1942-
Published: (1996)