دانلود کتاب An Introduction to Logic Programming Through Prolog

عنوان فارسی :

دانلود کتاب مقدمه ای برای برنامه نویسی منطق از طریق Prolog

عنوان انگلیسی :

An Introduction to Logic Programming Through Prolog

زبان : English

موضوع : Computers->Programming

نویسندگان : J. M. Spivey Michael Spivey

ناشر : PH

ISBN (شابک) : 0135360471, 9780135360477

تعداد صفحات : 260\260

سال نشر : 2002     ویرایش : free web version 1996

حجم : 1 MB       فرمت : pdf

قیمت : 20000 تومان






کتاب های پزشکی

دانلود کتاب Encyclopedia of Medical Devices and Instrumentation

دانلود کتاب Structured Population Models in Biology and Epidemiology

دانلود کتاب Islamic Biomedical Ethics: Principles and Application

دانلود کتاب Tropical and Parasitic Infections in the Intensive Care Unit (Perspectives on Critical Care Infectious Diseases)

دانلود کتاب Encyclopedia Of Forensic And Legal Medicine

کتاب های کامپیوتر

دانلود کتاب Drupal For Dummies

دانلود کتاب Java Generics and Collections

دانلود کتاب Joomla!: Visual QuickStart Guide (2nd Edition)

دانلود کتاب PHP Development in the Cloud

دانلود کتاب Creative Visualization For Dummies (For Dummies (Psychology & Self Help))

کتاب های ریاضی

دانلود کتاب Perspectives in mathematical sciences

دانلود کتاب Optimization on metric and normed spaces

دانلود کتاب Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings

دانلود کتاب Representations of the rotation and Lorentz groups and their applications

دانلود کتاب 475th Fighter Group

کتاب های تکنولوژی

دانلود کتاب Nanotechnology: A Technology Forecast

دانلود کتاب G Protein Signaling: Methods and Protocols

دانلود کتاب Composite Reinforcements for Optimum Performance

دانلود کتاب Graphene and Its Fascinating Attributes

دانلود کتاب Turbulent Premixed Flames

کتاب های مذهبی

دانلود کتاب Buddhism: the spiritual lineage of Dzogchen masters

دانلود کتاب Mother Teresa: A Biography (Greenwood Biographies)

دانلود کتاب Ezekiel: A Commentary based on Iezeki?l in Codex Vaticanus

دانلود کتاب Tuba Veneris

دانلود کتاب Concentration and Meditation: A Manual of Mind Development (Element Classic Editions)

کتاب های فیزیولوژی

دانلود کتاب Foundations Of Physiological Psychology

دانلود کتاب New Developments in Goal Setting and Task Performance

دانلود کتاب Essentials of Neuropsychological Assessment (Essentials of Psychological Assessment)

دانلود کتاب The Psychology of Criminal Conduct: Theory, Research and Practice (Wiley Series in Clinical Psychology)

دانلود کتاب Life Out of Focus: Alzheimer's Disease and Related Disorders (Encyclopedia of Psychological Disorders)

کتاب های تاریخی

دانلود کتاب Russian Civil-Military Relations

دانلود کتاب Siemens Schuckert D III&IV

دانلود کتاب US Navy F-14 Tomcat Units of Operation Iraqi Freedom

دانلود کتاب Splendeur des Uniformes de Napoleon: La Garde Impériale à Pied

دانلود کتاب The Matter of the Page: Essays in Search of Ancient and Medieval Authors (Wisconsin Studies in Classics)

کتاب های زیست شناسی

دانلود کتاب C. elegans: Methods and Applications

دانلود کتاب Gene Delivery to Mammalian Cells: Volume 2: Viral Gene Transfer Techniques

دانلود کتاب Oxidants and Antioxidants: Ultrastructure and Molecular Biology Protocols

دانلود کتاب Gene Probes: Principles and Protocols

دانلود کتاب Protein Structure Prediction

کتاب های اقتصاد

دانلود کتاب Roadmap to Strategic HR: Turning a Great Idea into a Business Reality

دانلود کتاب Financial Accounting

دانلود کتاب MCSA/MCSE Managing and Maintaining a Windows Server 2003 Environment: Exam 70-290 Study Guide and DVD Training System

دانلود کتاب CFA Level 1 Schweser Study Notes

دانلود کتاب Marketing Across Cultures (4th Edition)

کتاب های آموزشی

دانلود کتاب Intercultural Collaboration: First International Workshop, IWIC 2007 Kyoto, Japan, January 25-26, 2007 Invited and Selected Papers

دانلود کتاب Current Topics in Membranes and Transport, Vol. 1

دانلود کتاب The Encyclopedia of Men's Health (Facts on File Library of Health and Living)

دانلود کتاب Algebraic Informatics: Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers

دانلود کتاب Aptitude for Destruction, Vol 1: Organizational Learning in Terrorist Groups and its Implications for combating Terrorism

کتاب های حقوق

دانلود کتاب Punitive Damages: Common Law and Civil Law Perspectives (Tort and Insurance Law)

دانلود کتاب Stokes Law of Fall Completely Corrected

دانلود کتاب The Arab Revolt 1916-18: Lawrence sets Arabia ablaze (Campaign)

دانلود کتاب Theory of Legal Principles (Law and Philosophy Library)

دانلود کتاب International Law and Humanitarian Assistance: A Crosscut Through Legal Issues Pertaining to Humanitarianism

کتاب های علوم انسانی

دانلود کتاب Routledge Philosophy GuideBook to Husserl and the Cartesian Meditations (Routledge Philosophy GuideBooks)

دانلود کتاب Inside Rebellion: The Politics of Insurgent Violence

دانلود کتاب Manufacturing Consent: The Political Economy of the Mass Media

دانلود کتاب Believing by Faith: An Essay in the Epistemology and Ethics of Religious Belief

دانلود کتاب Cultures and Organizations: Software for the Mind, Third Edition