Atomic formula

Results: 91



#Item
1Sonic 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

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:06:04
2Formalization and the Objects of Logic

Formalization and the Objects of Logic

Add to Reading List

Source URL: www.georgbrun.ch

Language: English - Date: 2014-10-16 03:42:18
3V. 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

Add to Reading List

Source URL: jnpae.kinr.kiev.ua

Language: English - Date: 2011-08-26 03:20:26
    4On 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

    Add to Reading List

    Source URL: www.peoppenheimer.org

    Language: English - Date: 2011-02-19 16:19:34
    5Anytime 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

    Add to Reading List

    Source URL: lirias.kuleuven.be

    Language: English - Date: 2015-11-20 04:37:18
    6Confluent 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

    Add to Reading List

    Source URL: cs.bath.ac.uk

    Language: English - Date: 2015-04-22 08:16:55
      7Generalities  IAS Analysis Skyrme-Hartree-Fock

      Generalities IAS Analysis Skyrme-Hartree-Fock

      Add to Reading List

      Source URL: iwndt.tamu.edu

      Language: English - Date: 2013-08-26 15:10:04
      8Confluent 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

      Add to Reading List

      Source URL: www.cs.bath.ac.uk

      Language: English - Date: 2015-04-22 08:16:55
        9Published 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

        Add to Reading List

        Source URL: www.cs.berkeley.edu

        Language: English - Date: 2010-10-29 12:59:44
        10VILEN 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

        Add to Reading List

        Source URL: www.kinr.kiev.ua

        Language: English - Date: 2011-02-16 06:26:36