منابع مشابه
Polytypic Uni cation
Uni cation or two way pattern matching is the process of solving an equation involving two rst order terms with variables Uni cation is used in type inference in many pro gramming languages and in the execution of logic programs This means that uni cation algorithms have to be written over and over again for di erent term types Many other functions also make sense for a large class of datatypes...
متن کاملFuzzy uni cation degree
This paper constitutes a re nement of the fuzzy uni cation algorithm based on fuzzy compatibility relations, which we have developed with the aim of including the data type fuzzy set in a logic programming environment which supports a family of in nitely-valued logics. To be precise, we treat the problem of fuzzy uni cation by focusing on the distinction between general and speci c knowledge. F...
متن کاملPublikationsverzeichnis 1999 – Uni Köln
Originalarbeiten Binder T, Assayag P, Baer FM, Flachskampf F, Kamp O, Nienaber C, Nihoyannopoulos, P, Pierard L, Steg G, Vanoverschelde JL, van der Wouw P, Meland N, Marelli C, Lindvall K NC100100, a new echo contrast agent for the assessment of myocardial perfusion safety and comparison with technetium-99m sestamibi single-photon emission computed tomography in a randomized multicenter study C...
متن کاملUni-leaflet mitral valve.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . doi:10.1093/ejechocard/jer027 Online publish-ahead-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fronteiras: Revista Catarinense de História
سال: 2018
ISSN: 2238-9717
DOI: 10.36661/2238-9717.2017n29.7611