1![Proof-producing Congruence Closure Robert Nieuwenhuis? and Albert Oliveras?? Technical University of Catalonia, Jordi Girona 1, 08034 Barcelona, Spain www.lsi.upc.es/~roberto www.lsi.upc.es/~oliveras Abstract. Many appl Proof-producing Congruence Closure Robert Nieuwenhuis? and Albert Oliveras?? Technical University of Catalonia, Jordi Girona 1, 08034 Barcelona, Spain www.lsi.upc.es/~roberto www.lsi.upc.es/~oliveras Abstract. Many appl](https://www.pdfsearch.io/img/d663f12ed86c282548c1ca2432101733.jpg) | Add to Reading ListSource URL: www.lsi.upc.eduLanguage: English - Date: 2005-02-02 07:20:48
|
---|
2![Digital Preservation: a New Approach from Computational Intelligence Jose Antonio Olvera TECNIO EASY Innovation Center University of Girona Campus de Montilivi, E17071 Girona, Catalonia (EU) Digital Preservation: a New Approach from Computational Intelligence Jose Antonio Olvera TECNIO EASY Innovation Center University of Girona Campus de Montilivi, E17071 Girona, Catalonia (EU)](https://www.pdfsearch.io/img/bc8453369a52c8b9b9c783afe589213b.jpg) | Add to Reading ListSource URL: www.ieee-tcdl.orgLanguage: English - Date: 2013-09-30 16:46:38
|
---|
3![CTO at Easy Innova
Easy Innova, S.L. (Spain) Spin-off of the University of Girona Certified by:
CTO at Easy Innova
Easy Innova, S.L. (Spain) Spin-off of the University of Girona Certified by:](https://www.pdfsearch.io/img/f9996815e92149d5a4b3dfb6c91f7673.jpg) | Add to Reading ListSource URL: opensourceworkshop.preforma-project.euLanguage: English - Date: 2016-04-15 02:55:56
|
---|
4![FACULTY OF SCIENCE The Faculty of Science is one of KU Leuven’s oldest faculties. Its origins can be traced back to the Artes Faculty of the Old University of Leuven, founded inIt has existed as an independent FACULTY OF SCIENCE The Faculty of Science is one of KU Leuven’s oldest faculties. Its origins can be traced back to the Artes Faculty of the Old University of Leuven, founded inIt has existed as an independent](https://www.pdfsearch.io/img/d01ef2d62c5fcdf2edc24bd719269768.jpg) | Add to Reading ListSource URL: set.kuleuven.beLanguage: English - Date: 2015-01-05 08:45:32
|
---|
5![FACULTY OF ENGINEERING TECHNOLOGY The Faculty of Engineering Technology gathers all programmes in Engineering Technology and Bioengineering Technology offered by the KU Leuven FACULTY OF ENGINEERING TECHNOLOGY The Faculty of Engineering Technology gathers all programmes in Engineering Technology and Bioengineering Technology offered by the KU Leuven](https://www.pdfsearch.io/img/42f82e12e1dee838570feddb157e3628.jpg) | Add to Reading ListSource URL: set.kuleuven.beLanguage: English - Date: 2015-01-20 04:28:51
|
---|
6![AMSTERDAM UNIVERSITY OF APPLIED SCIENCES
AMSTERDAM UNIVERSITY OF APPLIED SCIENCES The Amsterdam University of Applied Sciences (AUAS) AMSTERDAM UNIVERSITY OF APPLIED SCIENCES
AMSTERDAM UNIVERSITY OF APPLIED SCIENCES The Amsterdam University of Applied Sciences (AUAS)](https://www.pdfsearch.io/img/f2cec4326d1826be2e16c12adce59b58.jpg) | Add to Reading ListSource URL: www.amsterdamuas.comLanguage: English - Date: 2014-09-02 08:18:51
|
---|
7![Team University of Girona euRathlon 2014 sea competition ‐ 29 Sept ‐ 4 Oct, La Spezia, Italy Combined Scenarios Performance Measures Scenario Parameters Team University of Girona euRathlon 2014 sea competition ‐ 29 Sept ‐ 4 Oct, La Spezia, Italy Combined Scenarios Performance Measures Scenario Parameters](https://www.pdfsearch.io/img/61c3350bca9850e1bd5c83b7d6a5d7dc.jpg) | Add to Reading ListSource URL: www.eurathlon.eu- Date: 2014-10-21 06:57:59
|
---|
8![Team University of Girona euRathlon 2014 sea competition ‐ 29 Sept ‐ 4 Oct, La Spezia, Italy Manipulation Performance Measures Scenario Parameters Team University of Girona euRathlon 2014 sea competition ‐ 29 Sept ‐ 4 Oct, La Spezia, Italy Manipulation Performance Measures Scenario Parameters](https://www.pdfsearch.io/img/5818eb369e8125eb621e499e202a8bb9.jpg) | Add to Reading ListSource URL: www.eurathlon.euLanguage: English - Date: 2014-10-21 06:56:30
|
---|
9![](https://www.pdfsearch.io/img/23434aa3db325aeaeba9cf26473c8a59.jpg) | Add to Reading ListSource URL: www.icra.catLanguage: English - Date: 2014-11-05 04:42:51
|
---|
10![European Association for Public Administration Accreditation 14 JulyEAPAA Accreditation Committee Evaluation Report European Association for Public Administration Accreditation 14 JulyEAPAA Accreditation Committee Evaluation Report](https://www.pdfsearch.io/img/a03c05fe026e8aaca3cc5751108d8ae8.jpg) | Add to Reading ListSource URL: www.eapaa.euLanguage: English - Date: 2015-04-24 10:19:14
|
---|