Home
Search
Browse Collections
My Account
About
Digital Commons Network™
Skip to main content
Home
About
FAQ
My Account
Home
>
ENGINEERING
>
COMPUTER
>
CS_PAPERS
>
189
Departmental Papers (CS)
Deep mathematical results are the ones that connect seemingly unrelated areas: towards a formal proof of Gian-Carlo Rota's thesis
Olga M. Kosheleva
Vladik Y. Kreinovich
Document Type
Article
Abstract
This paper has been withdrawn.
Search
Enter search terms:
Select context to search:
in this series
in this repository
across all repositories
Advanced Search
Notify me via email or
RSS
Links
UTEP Library
Browse
Collections
Subjects
Authors
Author Corner
Author FAQ
Submission Guidelines
Submit a Document
Links
Computer Science Website