Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language

Authors
A.Felty
Citation
A.felty, Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language, Journal of automated reasoning , 11(1), 1993, pp. 43-82
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
11
Issue
1
Year of publication
1993
Pages
43 - 82
Database
ACNP
SICI code