22,99 €
inkl. MwSt.
Versandfertig in 6-10 Tagen
11 °P sammeln
Andere Kunden interessierten sich auch für
![Automated Proof Checking]( "Automated Proof Checking")
Automated Proof Checking25,99 €![Principles of Catastrophic Forgetting for Continual Semantic Segmentation in Automated Driving]( "Principles of Catastrophic Forgetting for Continual Semantic Segmentation in Automated Driving")
Principles of Catastrophic Forgetting for Continual Semantic Segmentation in Automated Driving43,00 €![Automated Teacher Logging in and Logging out by a Bar-code scan]( "Automated Teacher Logging in and Logging out by a Bar-code scan")
Automated Teacher Logging in and Logging out by a Bar-code scan26,99 €![Novel Insights in Agent-based Complex Automated Negotiation]( "Novel Insights in Agent-based Complex Automated Negotiation")
Novel Insights in Agent-based Complex Automated Negotiation74,99 €![Efficient and Automated Analysis of Protein Structures]( "Efficient and Automated Analysis of Protein Structures")
Efficient and Automated Analysis of Protein Structures32,99 €![Modern Approaches to Agent-based Complex Automated Negotiation]( "Modern Approaches to Agent-based Complex Automated Negotiation")
Modern Approaches to Agent-based Complex Automated Negotiation74,99 €![Breakdowns in Controls in Automated Systems]( "Breakdowns in Controls in Automated Systems")
Breakdowns in Controls in Automated Systems51,99 €
High Quality Content by WIKIPEDIA articles! The Automated Mathematician (AM) is one of the earliest successful discovery systems. It was created by Doug Lenat in Lisp, and in 1977 led to Lenat being awarded the IJCAI Computers and Thought Award. AM worked by generating and modifying short Lisp programs which were then interpreted as defining various mathematical concepts; for example, a program that tested equality between the length of two lists was considered to represent the concept of numerical equality, while a program that produced a list whose length was the product of the lengths of two other lists was interpreted as representing the concept of multiplication. The system had elaborate heuristics for choosing which programs to extend and modify, based on the experiences of working mathematicians in solving mathematical problems.