The Family Federation for World Peace and Unification - Sun Myung Moon - April 8, 1997

Source URL: www.tparents.org

25 YEARS OF GERMAN UNITY GERMANY TODAY: THE LEGACY OF UNIFICATION

Source URL: linglang.msu.edu

1 Layal Khouri History of the Arabian-Persian Gulf Professor Thomas DeGeorges American University of Sharjah Yemen: From Economic Prosperity to Despair

Source URL: www.csames.illinois.edu

• Asia
• Politics
• North Yemen
• Republics
• Yemen
• Yahya Muhammad Hamid ed-Din
• Ali Abdullah Saleh
• Aden Protectorate
• Colony of Aden
• Modern history of Yemen
• Yemeni unification

본문(22-2_2013:25 AM 페이지29 International Journal of Korean Unification Studies Vol. 22, No. 2, 2013, 29–62 Human Rights in North Korea:

Source URL: www.hrnk.org

Call for Papers UNIF 2013 The 27th International Workshop on Unification June 27, 2013, Eindhoven, The Netherlands Workshop at RTA 2013 http://lat.inf.tu-dresden.de/UNIF2013/

Source URL: lat.inf.tu-dresden.de

Case-Analysis for Rippling and Inductive Proof Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona

Source URL: dream.inf.ed.ac.uk

• Automated theorem proving
• Theoretical computer science
• Mathematical logic
• Mathematics
• Rippling
• IsaPlanner
• Mathematical proof
• Resolution
• Unification
• Mathematical induction
• Triviality

T-String-Unification: Unifying Prefixes in Non-Classical Proof Methods Jens Otten? Christoph Kreitz

Source URL: www.cs.uni-potsdam.de

Scheme-based Theorem Discovery and Concept Invention O. Montano-Rivasa , R. McCaslanda , L. Dixona , A. Bundya a School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street,

Source URL: dream.inf.ed.ac.uk

• Automated theorem proving
• Logic programming
• Logic in computer science
• Computability theory
• Algebraic topology
• Substitution
• Unification
• Lambda calculus
• Sheaf
• Scheme
• Combinatory logic
• Morphism of algebraic varieties

The unification of Mathematics via Topos Theory Olivia Caramello Toposes as

Source URL: www.oliviacaramello.com

A Larger Decidable Semiunification Problem Brad Lushman University of Waterloo Gordon V. Cormack University of Waterloo

Source URL: plg.uwaterloo.ca

• Theoretical computer science
• Mathematical logic
• Logic
• Automated theorem proving
• Logic programming
• Logic in computer science
• Type theory
• Lambda calculus
• Substitution
• Symbol
• Directed acyclic graph
• Unification