A formal library of set relations and it
β
Camilo Rocha; CΓ©sar MuΓ±oz; Gilles Dowek
π
Article
π
2011
π
Elsevier Science
π
English
β 372 KB