دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata سری: ISBN (شابک) : 9783540692331, 3540692339 ناشر: Springer سال نشر: 2007 تعداد صفحات: 237 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Declarative Programming for Knowledge Management: 16th International Conference on Applications of Declarative Programming and Knowledge Management, Inap 2005 Fukuoka, Japan, October 22-24, 2005: Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی اعلانی برای مدیریت دانش: شانزدهمین کنفرانس بین المللی کاربردهای برنامه نویسی اعلانی و مدیریت دانش ، Inap 2005 Fukuoka ، ژاپن ، 22-24 اکتبر 2005: بازبینی های منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پس از داوری کامل شانزدهمین کنفرانس بین المللی کاربردهای برنامه نویسی اعلامی و مدیریت دانش، INAP 2005، در فوکوکا، ژاپن، در اکتبر 2005 است.
This book constitutes the thoroughly refereed post-proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, held in Fukuoka, Japan, in October 2005.
Front Matter....Pages -
Prolog Cafe : A Prolog to Java Translator System....Pages 1-11
TURTLE++ – A CIP-Library for C++....Pages 12-24
Constraint Solving for Sequences in Software Validation and Verification....Pages 25-37
Using a Logic Programming Language with Persistence and Contexts....Pages 38-47
On a Rough Sets Based Data Mining Tool in Prolog: An Overview....Pages 48-65
Not-First and Not-Last Detection for Cumulative Scheduling in ${\\cal O}(n^3\\log n)$ ....Pages 66-80
Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming....Pages 81-87
${\\cal O}(n \\log n)$ Overload Checking for the Cumulative Constraint and Its Application....Pages 88-101
Inductive Logic Programming: Yet Another Application of Logic....Pages 102-116
Railway Scheduling with Declarative Constraint Programming....Pages 117-134
User Profiles and Matchmaking on Mobile Phones....Pages 135-147
A Design Product Model for Mechanism Parts by Injection Molding....Pages 148-160
A Knowledge-Based System for Process Planning in Cold Forging Using the Adjustment of Stepped Cylinder Method....Pages 161-174
An Overview of Agents in Knowledge Management....Pages 175-189
ubiCMS – A Prolog Based Content Management System....Pages 190-199
Multi-threading Inside Prolog for Knowledge-Based Enterprise Applications....Pages 200-214
A Meta-logical Approach for Multi-agent Communication of Semantic Web Information....Pages 215-228
Back Matter....Pages -