ARTIFICIAL INTELLIGENCE-METHOLOGY,SYS...

ARTIFICIAL INTELLIGENCE-METHOLOGY,SYS...

Författare: Jorrand Philippe, Sgurev Vassil
Förlag: World Scientific Publishing Company
Utgivningsår: 1994
ISBN: 9814533971

Köp boken

0

Betala med Klarna
14 dagars ångerrätt
Contents:
  • Automated Theorem Proving
  • Extensions to Logic Programming
  • Constraint Solving
  • Modal Logics
  • Reasoning about Action and Change
  • Machine Learning
  • Object-Oriented Knowledge Bases
  • Hybrid Systems
  • Natural Language Processing

Readership: Computer scientists, AI researchers, graduate students in AI and in computer science, implementers of AI applications, designers of man-machine interfaces.

Du kanske också gillar

Köp boken0