Draft version October 9, 2018 Preprint typeset using LATEX style emulateapj vCAN MOONS HAVE MOONS? Juna A. Kollmeier1 & Sean N. Raymond2DocID: 1xVRt - View Document | |
Federal Register / Vol. 66, NoFriday, August 31, Notices Images of Glamour and Style (Photographs by Horst and HoyningenHuene),’’ imported from abroad for theDocID: 1xVNa - View Document | |
Paper Title (use style: paper title)DocID: 1xVMT - View Document | |
Paper Title (use style: paper title)DocID: 1xVLh - View Document | |
Integrating a SAT Solver with an LCF-style Theorem Prover A Fast Decision Procedure for Propositional Logic for the Isabelle System Tjark WeberDocID: 1xVu1 - View Document |