Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-1
|
Results: 1
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
Risultati:
1-1
|