ورود به حساب کاربری

خرید کتاب Mathematical Aspects of Logic Programming Semantics

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
Mathematical Aspects of Logic Programming Semantics

Mathematical Aspects of Logic Programming Semantics

Mathematical Aspects of Logic Programming Semantics
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Mathematical Aspects of Logic Programming Semantics
از خودتان درباره کتاب توضیح کوتاهی بنویسید
Covering the authors' own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory.



The book covers topics spanning the period from the early days of logic programming to current times. It discusses applications to computational logic and potential applications to the integration of models of computation, knowledge representation and reasoning, and the Semantic Web. The authors develop well-known and important semantics in logic programming from a unified point of view using both order theory and new, nontraditional methods. They closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks.



For readers interested in the interface between mathematics and computer science, this book offers a detailed development of the mathematical techniques necessary for studying the semantics of logic programs. It illustrates the main semantics of logic programs and applies the methods in the context of neural-symbolic integration.
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2010

نویسنده

Pascal Hitzler

نویسنده

Pascal Hitzler

ناشر

CRC Press

ناشر

CRC Press

شابک

1439829616
20,000 تومان
خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

کتاب های مرتبط

Introduction to Mathematics of Satisfiability

Introduction to Mathematics of Satisfiability

Victor Marek
20
هزار تومان
Ubiquitous Multimedia Computing (Chapman & Hall/Crc Studies In Informatics Series)

Ubiquitous Multimedia Computing (Chapman & Hall/Crc Studies In Informatics Series)

Timothy K. ...
20
هزار تومان
Stochastic Relations

Stochastic Relations

Ernst-Erich...
20
هزار تومان
Stochastic Relations

Stochastic Relations

Ernst-Erich...
20
هزار تومان
Stochastic relations : foundations for Markov transition systems

Stochastic relations : foundations for Markov transition systems

Ernst-Erich...
20
هزار تومان
Mathematical Aspects of Logic Programming Semantics

Mathematical Aspects of Logic Programming Semantics

Pascal Hitzler
20
هزار تومان
Conceptual Structures in Practice

Conceptual Structures in Practice

Henrik Scharfe
20
هزار تومان
Agent-Based Modeling and Simulation with Swarm

Agent-Based Modeling and Simulation with Swarm

Hitoshi Iba
20
هزار تومان
Mathematical Aspects of Logic Programming Semantics

Mathematical Aspects of Logic Programming Semantics

Pascal Hitzler
20
هزار تومان
Mastering Python Data Visualization

Mastering Python Data Visualization

Kirthi Raman
20
هزار تومان
Learning Embedded Linux Using the Yocto Project

Learning Embedded Linux Using the Yocto Project

vaduva
20
هزار تومان
Expert Python Programming

Expert Python Programming

Tarek Ziadé
20
هزار تومان
Haskell High Performance Programming

Haskell High Performance Programming

Samuli Thom...
20
هزار تومان
Distributed Computing with Go

Distributed Computing with Go

V.N. Nikhil...
20
هزار تومان
NASA formal methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

NASA formal methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Clark Barre...
20
هزار تومان
Agents and Artificial Intelligence

Agents and Artificial Intelligence

Joaquim Filipe
20
هزار تومان
Informationsintegration in dynamischen Unternehmensnetzwerken : architektur, methode und anwendung

Informationsintegration in dynamischen Unternehmensnetzwerken : architektur, methode und anwendung

Sebastian H...
20
هزار تومان
Formal Methods and Software Engineering

Formal Methods and Software Engineering

Meng Sun
20
هزار تومان
Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures

Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures

J
20
هزار تومان
Cohesive Subgraph Computation over Large Sparse Graphs : Algorithms, Data Structures, and Programming Techniques.

Cohesive Subgraph Computation over Large Sparse Graphs : Algorithms, Data Structures, and Programming Techniques.

Lijun Chang...
20
هزار تومان
Guide to competitive programming : learning and improving algorithms through contests

Guide to competitive programming : learning and improving algorithms through contests

Antti Laaks...
20
هزار تومان
  • اطلاعات
  • دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید

دیدگاه کاربران

دیدگاه خود را بنویسید
|
افزایش درآمد افزایش درآمد بهترین های کودک و نوجوان بهترین های کودک و نوجوان میخوای آموزش ببینی میخوای آموزش ببینی
قوانین و مقررات

بوکم با هدف خدمات محتوایی به پژوهشگران، اساتید و دانشجویان راه اندازی شده است. ما را در ارائه خدمات بهتر یاری داده و به گسترش بوکم کمک نمایید.

قوانین استفاده از بوکم:
1- کاربران موظف به استفاده ضحیح از محتوای رایگان و یا قابل خریداری سایت هستند و این استفاده باید در دایره ی قوانین حاکم در جمهوری اسلامی ایران باشد.
2- بوکم در دایره ی قوانین جمهوری اسلامی ایران فعالیت دارد و از قوانین مالکیت فکری و کپی رایت طبق قواعد جمهوری اسلامی ایران فعالیت میکند. چنانچه در این مورد سهوا اشتباهی انجام شده لطفا اطلاع بدهید تا سریعا پیگیری شود.
3- به خاطر تغییراتی که در فروشگاه های مرجعی که بوکم از آنها کتاب تهیه میکند پیش می آید، ممکن است کتاب خریداری شده ی کاربر قابل تهیه کردن نباشد که در این صورت بوکم مبلغ پرداختی کاربر را به حساب او عودت داده و یا کیف پول او نزد بوکم را شارژ می نماید.
4- بیشتر از کتابهای درخواستی به صورت آنی در اختیار خریدار قرار میگیرد. مواردی که آنی قابل ارسال نیست حداکثر در سه ساعت در زمان کاری تهیه شده و به کاربر اطلاع داده شده و لینک دانلود برای او ارسال میشود.
5- کاربران موظف به حفظ محتوای خریداری شده توسط خودشان هستند و بوکم تعهد نگهداری یک ماه از کتاب خریداری شده توسط کاربر را دارد.
6- کاربرانی که در تامین محتوا و همکاری در فروش با بوکم همکاری دارند بایست طبق قوانین جمهوری اسلامی ایران اقدام به فروش در پلتفرم بوکم نمایند و پاسخگوی مراجع ذی صلاح درباره محتوای فروشی خود در بستر بوکم را به عهده دارند.
7- فایل فروخته شده با ارائه دلیل منطقی(مثل کیفیت نامناسب کتاب برای خوانش) تا 24 ساعت از سوی کاربر قابل عودت می باشد.

پذیرفتن