First Page | Document Content | |
---|---|---|
![]() Date: 2013-07-12 09:15:53Quad Cities Muscatine Iowa Moline Illinois Genesis Health System Trinity Medical Center Quad-City Times Geography of the United States Davenport Iowa Iowa | Add to Reading List |
![]() | SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces James H. Davenport, Pascal Fontaine, Alberto Griggio (and the others partners whose details wouldn’t fit)1 University of Bath, LORIA, FoDocID: 1xUDS - View Document |
![]() | PDF DocumentDocID: 1xrr4 - View Document |
![]() | PDF DocumentDocID: 1wkWP - View Document |
![]() | PDF DocumentDocID: 1vIeD - View Document |
![]() | Davenport Resources Ltd April 2018 DAVENPORT RESOURCESDocID: 1vp89 - View Document |