Premium
Techniques of computable set theory with applications to proof verification
Author(s) -
Cantone Domenico,
Ferro Alfredo
Publication year - 1995
Publication title -
communications on pure and applied mathematics
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 3.12
H-Index - 115
eISSN - 1097-0312
pISSN - 0010-3640
DOI - 10.1002/cpa.3160480902
Subject(s) - mathematics , set (abstract data type) , humanities , calculus (dental) , computer science , philosophy , programming language , medicine , dentistry