Unification - PDFSEARCH.IO - Document Search Engine

Unification
Results: 1593

#	Item
291	UNITED NATIONS/NIGERIA WORKSHOP ON SPACE LAW “MEETING INTERNATIONAL RESPONSIBILITIES AND ADDRESSING DOMESTIC NEEDS” (Abuja, 21/24 NovemberSession No. 4: Other space-related legal issues The preliminary draft P Add to Reading List Source URL: www.unoosa.org Language: English - Date: 2005-12-02 06:14:33 International Institute for the Unification of Private Law League of Nations Private law Securities Cape Town Treaty Debt Infrastructure Law Financial economics Conflict of laws
292	Microsoft Word - TXHZOAYQAHZF Add to Reading List Source URL: congress.aks.ac.kr Language: English - Date: 2014-03-03 21:40:23 Asia Divided regions Member states of the United Nations Republics Korea Inter-Korean Summit Ministry of Unification North Korea South Korea North Korea–South Korea relations International relations Political geography
293	Simply Logical Ð Chapter 8 p.171-3 © Peter Flach, 2000 ☞ Given a background theory Th (clauses) Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2001-01-29 09:42:22 Automated theorem proving Logic programming Unification Function Mathematics Functions and mappings Mathematical logic
294	UNITED NATIONS/THAILAND WORKSHOP ON SPACE LAW “ACTIVITIES OF STATES IN OUTER SPACE IN LIGHT OF NEW DEVELOPMENTS: MEETING INTERNATIONAL RESPONSIBILITIES AND ESTABLISHING NATIONAL LEGAL AND POLICY FRAMEWORKS” (jointly Add to Reading List Source URL: www.unoosa.org Language: English - Date: 2012-11-01 08:35:30 International Institute for the Unification of Private Law League of Nations Securities Cape Town Treaty Security interest Communications protocol Infrastructure Port Law Private law Conflict of laws
295	United Nations General Assembly A/AC.105/C.2/L.222 Distr.: Limited Add to Reading List Source URL: www.unoosa.org Language: English - Date: 2006-04-20 03:38:50 International Institute for the Unification of Private Law International Law Commission Law League of Nations Space law
296	UNIDROIT Working Group for the preparation of a Legal Guide on Contract Farming UNIDROIT 2014 Study 80 A – Doc. 16 Add to Reading List Source URL: www.unidroit.org Language: English - Date: 2014-04-16 05:09:08 International Institute for the Unification of Private Law League of Nations Securities Contract Law Contract law Private law
297	Lisp and Symbolic Computation, 2, ) © 1989 Kluwer Academic Publishers--Manufactured in The Netherlands. Integrating Logic and Functional Programming* HASSAN AIT-KACI ROGER NASR Add to Reading List Source URL: www.hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:30:34 Model theory Lambda calculus Predicate logic Automated theorem proving Logic programming Unification Combinatory logic Fixed-point combinator Interpretation Mathematics Mathematical logic Logic
298	J. LOGIC PROGRAMMING 1993:16:TOWARDS A MEANING OF LIFE? Add to Reading List Source URL: hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:10:42 Lambda calculus Logic programming Functional programming Higher-order functions Model theory Unification Function Interpretation Constraint logic programming Software engineering Declarative programming Computing
299	J. LOGIC PROGRAMMING LOGIN: A LOGIC PROGRAMMING BUILT-IN INHERITANCE 1986:3: Add to Reading List Source URL: www.hassan-ait-kaci.net Language: English Mathematical logic Formal languages Automated theorem proving Logic programming Unification Prolog First-order logic Interpretation Functional predicate Logic Model theory Mathematics
300	What is Integrative Psychosynthesis? Su Dunn The framework of Integrative Psychosynthesis does not aim at a grand unification but rather a bringing together of a diversity of approaches which are contained within the ope Add to Reading List Source URL: www.re-vision.org.uk Language: English - Date: 2014-04-01 17:18:13 Clinical psychology Psychiatry Humanistic psychology Psychosynthesis Spiritual evolution Systems psychology Roberto Assagioli Subpersonality Transpersonal Psychology Mind Transpersonal psychology

UPDATE