دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic Programming: Expanding the Horizons
دانلود کتاب برنامه نویسی منطقی: گسترش افق ها
مشخصات کتاب
Logic Programming: Expanding the Horizons
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: Tony Dodd, Richard Owens, Steve Torrance (Editors) سری: ISBN (شابک) : 1871516153 ناشر: Intellect Books سال نشر: 1991 تعداد صفحات: 224 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب برنامه نویسی منطقی: گسترش افق ها: برنامه نویسی منطقی، پرولوگ، منطق، پروژه الوی
در صورت تبدیل فایل کتاب Logic Programming: Expanding the Horizons به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی منطقی: گسترش افق ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی منطقی: گسترش افق ها
اولین بار در بریتانیا در سال 1991 توسط کتاب های عقل سوئیت 2، خیابان لندن 108/110، آکسفورد OX3 9AW فهرست نویسی کتابخانه بریتانیا در داده های انتشارات برنامه ریزی منطقی: گسترش افق ها 1. سیستم های کامپیوتری. برنامه نويسي I. Dodd, Tony 1952- II. اونز، ریچارد دوم. تورنس، استیو شابک 1-871516-15-3 چاپ و صحافی در بریتانیای کبیر توسط Billings & Sons Ltd, Worcester پیشگفتار ======= این جلد شامل هشت مقاله از کارگاه آموزشی Expanding the Horizons است که در 13 تا 14 فوریه 1989 در کالج امپریال برگزار شد و به صورت گذشته به عنوان اولین کنفرانس برنامه نویسی منطقی انگلستان شماره گذاری شد، کنفرانس بعدی در بریستول در سال 1990 برگزار شد و سومین کنفرانس برنامه ریزی شده بود. برای ادینبورگ در سال 1991. ویراستاران دوم و سوم همراه با کریس ماس و جان اسمیت کارگاه را سازماندهی کردند، در حالی که اولین ویراستار انتشار این جلد را سازماندهی کرد. خلاصه برنامه توزیع شده بین نمایندگان در صفحه زیر ظاهر می شود. ویراستاران مایلند تشکر خود را از Intellect Ltd برای کمک به غلبه بر مشکلات مختلفی که در زمان آماده سازی جلد به وجود آمدند و از نویسندگان برای صبر و همکاری آنها ثبت کنند. خوانندگان ممکن است علاقه مند شوند که از وجود شعبه بریتانیا در انجمن برنامه نویسی منطقی مطلع شوند که در نهایت مسئول کنفرانس برنامه نویسی منطقی انگلستان است و تعدادی خدمات دیگر را به اعضا ارائه می دهد. جزئیات بیشتر را می توان از A.L.P. انگلستان. P.O. جعبه 469 آکسفورد OX2 0RR یا ایمیل alpuk@uk.ac.ic.doc. تونی داد ریچارد اونز استیو تورنس
توضیحاتی درمورد کتاب به خارجی
First published in Great Britain in 1991 by Intellect Books Suite 2, 108/110 London Road, Oxford OX3 9AW British Library Cataloguing in Publication Data Logic programming: expanding the horizons. 1. Computer systems. Programming I. Dodd, Tony 1952- II. Owens, Richard II. Torrance, Steve ISBN 1-871516-15-3 Printed and bound in Great Britain by Billings & Sons Ltd, Worcester Preface ======= This volume contains eight of the papers given at the Expanding the Horizons workshop held at Imperial College on 13th-14th February 1989, and retrospectively numbered as the first UK Logic Programming Conference, a subsequent conference having been held in Bristol in 1990 and a third planned for Edinburgh in 1991. The second and third editors organised the workshop together with Chris Moss and John Smith, while the first organised the publication of this volume. The summary programme distributed to delegates appears on the following page. The editors wish to record their thanks to Intellect Ltd for helping overcome the various problems that arose while the volume was in preparation, and to the authors for their patience and co-operation. Readers may be interested to know of the existence of the U.K. branch of the Association for Logic Programming, which is ultimately responsible for the UK Logic Programming Conference and offers a number of other services to members. Further details may be obtained from A.L.P. U.K. P.O. Box 469 Oxford OX2 0RR or email alpuk@uk.ac.ic.doc. Tony Dodd Richard Owens Steve Torrance
فهرست مطالب
1 Introduction: The Logic Programing Initiative (Correct Title: "Introduction: Alvey and Logic Programming") Tony Dodd and Steve Torrance 14 1: An Incremental Pure Logic Language with Constraints and Classical Negation Ed Babb 63 2: PR: A Logic for Practical Reasoning Tim Flannagan 82 3: A Temporal Logic Programming Machine Dov Gabbay 124 4: Evaluating Different Strategies for Handling Incomplete Information in a Logic Database Qinzheng Kong and Howard Williams 147 5: Virtual Logic Neurons Fukimi Kozato and Graem Ringwood 164 6: Implementing Logic Languages by Graph Rewriting Peter Mc.Brien 189 7: Kelpie: a Concurrent Logic Programming System for Knowledge Based Applications Hamish Taylor
نظرات کاربران
کتاب های مرتبط
دانلود کتاب ≪UML≫ 2002 — The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings
دانلود کتاب Microsoft Access Projects with Microsoft SQL Server
دانلود کتاب C++ Programming: From Problem Analysis to Program Design
دانلود کتاب Your First Year in Code: A complete guide for new & aspiring developers
دانلود کتاب Systematic Software Testing
دانلود کتاب A Practical Programming Model for the Multi-Core Era: 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings
دانلود کتاب Don‘t Be a SAS Dinosaur: Modernize Your SAS Programs
دانلود کتاب 387 Programmer’s Reference Manual
