Atomic formula - PDFSEARCH.IO - Document Search Engine

Atomic formula
Results: 91

#	Item
1	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 Mathematics Logic Functions and mappings Mathematical logic Logic programming Automated theorem proving Append Functional programming Lisp Unfolding Substitution Atomic formula
2	Formalization and the Objects of Logic Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2014-10-16 03:42:18 Syntax Propositional calculus Predicate logic Formal languages Philosophy of language First-order logic Well-formed formula Proposition Interpretation Sequent Atomic formula Logic
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 Add to Reading List Source URL: jnpae.kinr.kiev.ua Language: 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 Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2011-02-19 16:19:34 Logic Mathematical logic Model theory Philosophy of language Predicate logic Arguments for the existence of God First-order logic Ontological argument Definite description Interpretation Atomic formula Constructible universe
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 Add to Reading List Source URL: lirias.kuleuven.be Language: English - Date: 2015-11-20 04:37:18 Model theory Predicate logic Markov logic network Rules of inference Probabilistic logic Stable model semantics Resolution First-order logic Atomic formula Propositional calculus FO Inference
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 Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2015-04-22 08:16:55
7	Generalities IAS Analysis Skyrme-Hartree-Fock Add to Reading List Source URL: iwndt.tamu.edu Language: English - Date: 2013-08-26 15:10:04 Mass Atomic physics Quantum chemistry Semi-empirical mass formula Hartree–Fock method Asymmetry Isospin Capacitor Capacitance Physics Nuclear physics Particle physics
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 Add to Reading List Source URL: www.cs.bath.ac.uk Language: 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 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:44 Model theory Formal methods Propositional calculus Predicate logic Function Lambda calculus Forcing Well-formed formula Atomic formula Logic Mathematical logic Mathematics
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 Add to Reading List Source URL: www.kinr.kiev.ua Language: English - Date: 2011-02-16 06:26:36 Radioactivity Atomic physics Nuclear fission Quantum chaos Nuclear shell model Nuclear force Nuclear structure Nuclear binding energy Semi-empirical mass formula Physics Nuclear physics Nuclear chemistry

UPDATE