This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
Intending to return; Portuguese migrants in France :
"
Caspari, A.
Document Type
:
BL
Record Number
:
745150
Doc. No
:
b565099
Main Entry
:
Hermann Balzer
Title & Author
:
Theoretical approaches to non-numerical problem solving : : proceedings of the.\ Hermann Balzer
Publication Statement
:
[Place of publication not identified] : Springer, 1970
ISBN
:
364299976X
:
: 9783642999765
Contents
:
I: Overviews.- An Overview of Mechanical Theorem Proving.- Game Playing Programs: An Approach and An Overview.- GPS and Decision Making: An Overview.- Natural Language Question Answering Systems: 1969.- II: Problems in Foundations.- The Role of Weltanschauung in Problem Solving and Inquiry.- Remarks on Mathematics and Computers.- Systems Theoretic Approach to Formal Theory of Problem Solving.- On the Representation of Problems and Goal-Directed Procedures for Computers.- III: Current Research.- Heuristic Search Programs.- Dynamic Programming and Problem-Solving.- Computer Programs Can Be Proved Correct.- A Computer-Assisted Study of GO on M x N Boards.- Stating Problems as Procedures to a General Problem Solving Program.- IV: New Applications.- Remarks on the Relationship Between Artificial Intelligence and Cognitive Psychology.- A Heuristic Program for Solving Scientific Inference Problem: Summary of Motivation and Implementation.- Heuristic Techniques for Solving Large Combinatorial Problems on a Computer.- Help Stamp Out Programming.- The Relevance of Robot Research to Artificial Intelligence.
Added Entry
:
Hermann Balzer
https://lib.clisel.com/site/catalogue/1095088
کپی لینک
پیشنهاد خرید
پیوستها
عنوان :
نام فایل :
نوع عام محتوا :
نوع ماده :
فرمت :
سایز :
عرض :
طول :
TLets375150_201222.pdf
TLets375150.pdf
پایان نامه لاتین
متن
application/pdf
20.01 MB
85
85
نمایش
نظرسنجی
نظرسنجی منابع دیجیتال
1 - آیا از کیفیت منابع دیجیتال راضی هستید؟
X
کم
متوسط
زیاد
ذخیره
پاک کن