1![Sonic Partial Deduction Jonathan Martin and Michael Leuschel Declarative Systems and Software Engineering Group Technical Report DSSE-TR-99-3 Sonic Partial Deduction Jonathan Martin and Michael Leuschel Declarative Systems and Software Engineering Group Technical Report DSSE-TR-99-3](https://www.pdfsearch.io/img/61ddf4e4b2c1cf6ffa62fc812babb17f.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:06:04
|
---|
2![Formalization and the Objects of Logic Formalization and the Objects of Logic](https://www.pdfsearch.io/img/5f1359f199f97d8bcba2a02af4ebaeb3.jpg) | Add to Reading ListSource URL: www.georgbrun.chLanguage: English - Date: 2014-10-16 03:42:18
|
---|
3![V. N. Maslov, Yu. P. Stepanovsky ELECTROMAGNETIC FORM FACTORS, TCHEBICHEF POLYNOMIALS AND GENERALIZED ROSENBLUTH FORMULA Elastic scattering of the ultra relativistic polarized electrons on atomic nucleus with arbitrary s V. N. Maslov, Yu. P. Stepanovsky ELECTROMAGNETIC FORM FACTORS, TCHEBICHEF POLYNOMIALS AND GENERALIZED ROSENBLUTH FORMULA Elastic scattering of the ultra relativistic polarized electrons on atomic nucleus with arbitrary s](https://www.pdfsearch.io/img/ad1a1815fee8fad43532db11c58d4351.jpg) | Add to Reading ListSource URL: jnpae.kinr.kiev.uaLanguage: English - Date: 2011-08-26 03:20:26
|
---|
4![On the Logic of the Ontological Argument∗ Paul E. Oppenheimer Thinking Machines Corporation and Edward N. Zalta Philosophy Department On the Logic of the Ontological Argument∗ Paul E. Oppenheimer Thinking Machines Corporation and Edward N. Zalta Philosophy Department](https://www.pdfsearch.io/img/e72bedfaa9f23667b48923fe05cf4fc4.jpg) | Add to Reading ListSource URL: www.peoppenheimer.orgLanguage: English - Date: 2011-02-19 16:19:34
|
---|
5![Anytime Inference in Probabilistic Logic Programs with TP -Compilation Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt Department of Computer Science KU Leuven, Belgium firstname.lastnam Anytime Inference in Probabilistic Logic Programs with TP -Compilation Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt Department of Computer Science KU Leuven, Belgium firstname.lastnam](https://www.pdfsearch.io/img/735e30d1fa40674f70c774b215f6bb28.jpg) | Add to Reading ListSource URL: lirias.kuleuven.beLanguage: English - Date: 2015-11-20 04:37:18
|
---|
6![Confluent and Natural Cut Elimination in Classical Logic The experiments method. Take a proof φ of the propositional formula A. Trace all the atom occurrences in the proof (atomic flows are convenient for this). For eve Confluent and Natural Cut Elimination in Classical Logic The experiments method. Take a proof φ of the propositional formula A. Trace all the atom occurrences in the proof (atomic flows are convenient for this). For eve](https://www.pdfsearch.io/img/6bb06fa9b547e1966d7e33828156ec27.jpg) | Add to Reading ListSource URL: cs.bath.ac.ukLanguage: English - Date: 2015-04-22 08:16:55
|
---|
7![Generalities IAS Analysis Skyrme-Hartree-Fock Generalities IAS Analysis Skyrme-Hartree-Fock](https://www.pdfsearch.io/img/50048f59fa3a3708963033789fce42d0.jpg) | Add to Reading ListSource URL: iwndt.tamu.eduLanguage: English - Date: 2013-08-26 15:10:04
|
---|
8![Confluent and Natural Cut Elimination in Classical Logic The experiments method. Take a proof φ of the propositional formula A. Trace all the atom occurrences in the proof (atomic flows are convenient for this). For eve Confluent and Natural Cut Elimination in Classical Logic The experiments method. Take a proof φ of the propositional formula A. Trace all the atom occurrences in the proof (atomic flows are convenient for this). For eve](https://www.pdfsearch.io/img/f65d0191c8496e557a5d7730e5530dec.jpg) | Add to Reading ListSource URL: www.cs.bath.ac.ukLanguage: English - Date: 2015-04-22 08:16:55
|
---|
9![Published in Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004, pages 236–250. By Reason and Authority: A System for Authorization of Proof-Carrying Code Nathan Whitehead Department of Computer Published in Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004, pages 236–250. By Reason and Authority: A System for Authorization of Proof-Carrying Code Nathan Whitehead Department of Computer](https://www.pdfsearch.io/img/db76d2d11923b93d824f742b466211e5.jpg) | Add to Reading ListSource URL: www.cs.berkeley.eduLanguage: English - Date: 2010-10-29 12:59:44
|
---|
10![VILEN MITROFANOVICH STRUTINSKY’S IMPACT ON NUCLEAR AND MANY PARTICLE PHYSICS M. Brack Institute for Theoretical Physics, University of Regensburg, Regensburg, Germany This paper is dedicated to the memory of Vilen Mitr VILEN MITROFANOVICH STRUTINSKY’S IMPACT ON NUCLEAR AND MANY PARTICLE PHYSICS M. Brack Institute for Theoretical Physics, University of Regensburg, Regensburg, Germany This paper is dedicated to the memory of Vilen Mitr](https://www.pdfsearch.io/img/4db9d1db097eb8da4a36a236a3e0b617.jpg) | Add to Reading ListSource URL: www.kinr.kiev.uaLanguage: English - Date: 2011-02-16 06:26:36
|
---|