Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-1
|
Results: 1
A Tree-Structured Modified Problem Reduction Proof Procedure and Its Extension to Three-Valued Logic
Authors:
T.Mellouli
Citation:
T.mellouli, A Tree-Structured Modified Problem Reduction Proof Procedure and Its Extension to Three-Valued Logic, Journal of automated reasoning , 12(1), 1994, pp. 47-88
Risultati:
1-1
|