Eugenio G. Omodeo: Hints for the Design of a Set Calculus Oriented to Automated Deduction. (1986)
10.1007/3-540-19129-1_10
Hints for the Design of a Set Calculus Oriented to Automated Deduction.
1
201-218
Foundations of Logic and Functional Programming
Foundations of Logic and Functional Programming
1986
1988
provenance information for RDF data of dblp record 'conf/flfp/Omodeo86'
2017-05-19T13:10:45+0200