![Constructible universe Constructible universe](https://www.pdfsearch.io/img/6b8c0f5faaf4b6adf611189485197ec3.jpg) Date: 2006-03-05 21:15:02Constructible universe | | Integrating a SAT Solver with Isabelle/HOL Tjark Weber (joint work with Alwen Tiu et al.) First Munich-Nancy Workshop onAdd to Reading ListSource URL: user.it.uu.seDownload Document from Source Website File Size: 1,02 MBShare Document on Facebook
|