Unification

Results: 1593



#Item
351Political geography / Arab League / Arab Unification / International relations

Become a DAFG Member The DAFG Board (Membership Application Page 2)

Add to Reading List

Source URL: dafg.eu

Language: English - Date: 2015-02-25 10:20:34
352Compiler optimizations / Automatic parallelization / Parallel computing / Prolog / Unification / Compiler / Abstract interpretation / Computing / Software engineering / Programming language theory

Non-Strict Independence-Based Program Parallelization Using Sharing and Freeness Information Daniel Cabeza Gras 1 and Manuel V. Hermenegildo 1,2 Abstract

Add to Reading List

Source URL: clip.dia.fi.upm.es

Language: English - Date: 2009-02-12 19:18:43
353Aviation law / Warsaw Convention / Freedom of Association and Protection of the Right to Organise Convention / International Driving Permit / Transport / Law / International relations

105 CHAPTER XIII CONVENTION SIGNED AT GUADALAJARA ON 18TH SEPTEMBER, 1961, SUPPLEMENTARY TO THE WARSAW CONVENTION FOR THE UNIFICATION OF CERTAIN

Add to Reading List

Source URL: dgca.nic.in

Language: English - Date: 2004-04-23 03:05:07
354Bankruptcy / Business law / Contract law / Property law / Conflict of laws / Security interest / International Institute for the Unification of Private Law / Insolvency / Bankruptcy in the Republic of Ireland / Law / Private law / Business

UNIDROIT COMMITTEE OF GOVERNMENTAL EXPERTS FOR THE PREPARATION OF A DRAFT PROTOCOL TO THE CONVENTION ON INTERNATIONAL INTERESTS IN MOBILE EQUIPMENT ON MATTERS SPECIFIC TO SPACE ASSETS Fifth session

Add to Reading List

Source URL: www.unidroit.org

Language: English - Date: 2013-09-24 16:01:24
355Christianity by country / K. H. Ting / Three-Self Patriotic Movement / China Christian Council / Y. T. Wu / Unification Church / Trinity School for Ministry / Lianghui / Christianity in China / Christianity in Asia / Religion in China

Chinese Theological Review 1988

Add to Reading List

Source URL: www.amityfoundation.org

Language: English - Date: 2014-09-09 22:11:05
356Transport / Warsaw Convention / Human rights instruments / Treaties of the European Union / Montreal Convention / Aviation law / Law / International relations

77 CHAPTER IX ADDITIONAL PROTOCOL NO. 1, 1975 SIGNED AT MONTREAL ON 25TH SEPTEMBER, 1975 TO AMEND THE CONVENTION FOR THE UNIFICATION OF

Add to Reading List

Source URL: dgca.nic.in

Language: English - Date: 2004-04-23 03:05:00
357Constraint programming / Formal languages / Prolog / Logic programming / Logtalk / Definite clause grammar / ECLiPSe / Unification / String / Software engineering / Computing / Computer programming

SWI-Prolog version 7 extensions Jan Wielemaker Web and Media group, VU University Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands,

Add to Reading List

Source URL: www.swi-prolog.org

Language: English - Date: 2014-07-12 11:46:12
358Literate programming / Functional languages / Higher-order functions / Models of computation / Logic programming / Unification / Lambda calculus / Prolog / Haskell / Software engineering / Computing / Computer programming

1 2 Implementing Semantic Theories

Add to Reading List

Source URL: homepages.cwi.nl

Language: English - Date: 2014-12-01 04:07:07
359International Institute for the Unification of Private Law / Private law / Securities / Space law / United Nations Committee on the Peaceful Uses of Outer Space / Law / League of Nations / Conflict of laws

Microsoft Word - V1182456.doc

Add to Reading List

Source URL: www.unoosa.org

Language: English - Date: 2013-04-05 04:47:47
360Constraint programming / Prolog / Logic programming / ECLiPSe / Garbage collection / Env / Unification / Calling convention / YAP / Computing / Software engineering / Computer programming

Precise Garbage Collection in Prolog Jan Wielemaker1 and Ulrich Neumerkel2 1 Universiteit van Amsterdam, The Netherlands

Add to Reading List

Source URL: www.swi-prolog.org

Language: English - Date: 2009-08-27 10:41:37
UPDATE