Schumann, Johann M., Loveland, Donald W., 1934-
Springer
|
Harel, D., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Claesen, Luc J. M., …
North-Holland
|
International Conference on Theorem Proving in Higher Order Logics, Bertot, Yves
Springer
|
Special Session on Automatic Theorem Proving, Bledsoe, W. W., Loveland, Donald W., American Mathematical Society.
American Mathematical Society
|
International Conference on Theorem Proving in Higher Order Logics, Grundy, J. (Jim), 1968-, Newey, Malcolm Charles
Springer
|
Harel, David, 1950-
Springer-Verlag
|
International Conference on Theorem Proving in Higher Order Logics, Gunter, Elsa L., Felty, Amy
Springer
|
Manzano, María
Cambridge University Press
|
International Conference on Theorem Proving in Higher Order Logics, Aagaard, Mark, 1966-, Harrison, J. (John), 1966-
Springer
|
Harel, David, SpringerLink (Online service)
Springer-Verlag
|
International Conference on Theorem Proving in Higher Order Logics, Boulton, Richard J., 1967-, Jackson, Paul B., 1962-
Springer
|