Logic Programming: Expanding the Horizons

دانلود کتاب Logic Programming: Expanding the Horizons

دسته: برنامه نويسي

55000 تومان موجود

کتاب برنامه نویسی منطقی: گسترش افق ها نسخه زبان اصلی

دانلود کتاب برنامه نویسی منطقی: گسترش افق ها بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید


این کتاب نسخه اصلی می باشد و به زبان فارسی نیست.


امتیاز شما به این کتاب (حداقل 1 و حداکثر 5):

امتیاز کاربران به این کتاب:        تعداد رای دهنده ها: 7


توضیحاتی در مورد کتاب Logic Programming: Expanding the Horizons

نام کتاب : Logic Programming: Expanding the Horizons
ویرایش : 1
عنوان ترجمه شده به فارسی : برنامه نویسی منطقی: گسترش افق ها
سری :
نویسندگان : , ,
ناشر : Intellect Books
سال نشر : 1991
تعداد صفحات : 224
ISBN (شابک) : 1871516153
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت



بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.

توضیحاتی در مورد کتاب :


اولین بار در بریتانیا در سال 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. تونی داد ریچارد اونز استیو تورنس

فهرست مطالب :


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

توضیحاتی در مورد کتاب به زبان اصلی :


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



پست ها تصادفی