Boek
Frame problem, Unification, Warren abstract machine, Belief revision, Constraint logic programming, Stable model semantics, Default logic, Circumscription, Situation calculus, Defeasible reasoning, Abductive logic programming «
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Er zijn nog geen verbanden gelegd.