David L Basin, Age 60603 Burke St, Carbondale, IL 62901
David Basin Phones & Addresses
603 Burke St, Carbondale, IL 62901 (618) 549-2704
1224 Allman St, Carbondale, IL 62901 (618) 319-1552
Herrin, IL
6770 Westbranch Ct, Houston, TX 77072 (281) 561-0127
533 Maple St, Du Quoin, IL 62832 (618) 542-5951
Chicago, IL
Mentions for David L Basin
Publications & IP owners
Isbn (Books And Publications)
Labelled Deduction
Automated Reasoning: Second International Joint Conference, Ijcar 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Theorem Proving In Higher Order Logics: 16Th International Conference, Tphols 2003, Rome, Italy, September 8-12, 2003 Proceedings
NOTICE: You may not use PeopleBackgroundCheck or the information it provides to make decisions about employment, credit, housing or any other purpose that would require Fair Credit Reporting Act (FCRA) compliance. PeopleBackgroundCheck is not a Consumer Reporting Agency (CRA) as defined by the FCRA and does not provide consumer reports.