Uni-la

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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