Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-1
|
Results: 1
Set Theory for Verification: I.From Foundations to Functions
Authors:
L.Paulson
Citation:
L.paulson, Set Theory for Verification: I.From Foundations to Functions, Journal of automated reasoning , 11(3), 1993, pp. 353-390
Risultati:
1-1
|