Unification - PDFSEARCH.IO - Document Search Engine

Unification
Results: 1593

#	Item
461	The birth of Prolog Alain Colmerauer and Philippe Roussel November 1992 Abstract The programming language, Prolog, was born of a project aimed not at producing a programming language but at processing natural languages; Add to Reading List Source URL: alain.colmerauer.free.fr Language: English - Date: 2014-09-29 06:14:00 Prolog Definite clause grammar Logic programming Planner Alain Colmerauer Q-systems Unification Inference B-Prolog Software engineering Computing Computer programming
462	Nationalism By John Paul Newman This article offers an overview of the progress of nationalism and the national idea starting with its origins as a mass political programme during the French Revolution and tracing its pa Add to Reading List Source URL: encyclopedia.1914-1918-online.net Language: English - Date: 2015-02-02 07:36:13 National mysticism Irredentism Pan movements Diplomacy Revolutions Unification of Germany German question Italian nationalism Romantic nationalism Nationalism International relations Politics
463	J Geod[removed]:57–68 DOI[removed]s00190[removed]y ORIGINAL ARTICLE Unification of New Zealand’s local vertical datums: iterative gravimetric Add to Reading List Source URL: geodesy.curtin.edu.au Language: English - Date: 2013-04-23 03:44:14 Surveying Measurement Gravimetry Navigation Orthometric height Gravity anomaly Physical geodesy Datum Levelling Geodesy Geophysics Cartography
464	sadhana manuscript No. (will be inserted by the editor) A compact kernel for the calculus of inductive constructions A. Asperti · W. Ricciotti · Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-02-26 11:27:55 Software engineering Matita Lambda calculus Calculus of constructions Unification Type system Typed lambda calculus Recursion Proof assistant Type theory Mathematics Theoretical computer science
465	UNITED NATIONS EP United Nations Environment Add to Reading List Source URL: www.pops.int Language: English - Date: 2003-07-10 04:26:02 Stockholm Convention on Persistent Organic Pollutants Global Environment Facility United Nations Framework Convention on Climate Change International organizations International Institute for the Unification of Private Law Environmental governance Environment Law International relations
466	Nonuniform Coercions via Unification Hints Claudio Sacerdoti Coen Enrico Tassi Department of Computer Science, University of Bologna Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2011-03-22 11:23:42 Automated theorem proving Logic programming Unification ALGOL 68 State space Admissible rule Programming language theory Mathematical logic Software engineering
467	EXECUTIVE SUMMARY The Committee on Public Order and Dangerous Drugs, with the Committees on Peace, Unification and Reconciliation, and Finance drafted a Joint Committee Report on the bloody Mamasapano operation conducte Add to Reading List Source URL: images.gmanews.tv Language: English - Date: 2015-03-17 03:01:44 Military Military history of the Philippines Benigno Aquino III Politics of the Philippines Special Action Force Islam in the Philippines Philippine National Police Military operation plan Moro Islamic Liberation Front Philippines Law enforcement in the Philippines Military science
468	Hints in unification Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, and Enrico Tassi Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 — 40127 Bologna, ITALY {asperti,ricciott,sacer Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-09-08 04:47:27 Algebra Monoid Unification Semigroup Ring Inverse element ALGOL 68 Abstract algebra Algebraic structures Mathematics
469	Logic Prolog Logic Programming: Prolog All Caltech graduates are nerds. Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2002-05-02 09:28:31 Prolog Unification Computing Logic programming Programming language theory Software engineering
470	Speech of Dr. Mohammad Bin Ali Kouman The Secretary General of The Arab Interior Ministers Council At the 11 Add to Reading List Source URL: www.un.org Language: English - Date: 2005-04-25 01:30:58 Middle East Arab League Definitions of terrorism United Nations Office on Drugs and Crime United Arab Emirates Arab League Summit Foreign relations of the Arab League International relations Asia Arab Unification

UPDATE