19 pages matching provides in this book
Results 1-3 of 19
What people are saying - Write a review
We haven't found any reviews in the usual places.
MODELS AND MODELLING
LOGIC AND SIMULATION
6 other sections not shown
active process actual goal algorithmic model ALL-EX answer appropriate ARTIFICIAL INTELLIGENCE backtracking built-in predicates built-in procedure cache called can_have_a_good_time Cinema clause cognitive activity communication channels component conceptual model constructive constructive language corresponding corvin CS-Object PROLOG CS-PROLOG database defined definition delete described descriptive design activity differential equations dynamic environment example execution experimentation expert system Film formal language formal model formulas function given global glucose good_film Horn clauses insulin investigation knowledge base knowledge-base language concept lead pursuit logic logic programming maquettes matching mathematical mathematical logic means menu model-building multiprocessor notions out_of_africa parameters permission Planet PLIST possible problem-solving programming language PROLOG system proof transfer provides proving object question realized relation rule transfer selected semantic shown in Fig simulation languages simulation model solution solving structure suspended symbolic syntactic model system theory T-PROLOG tickets_available trace transputer values variables wait_for waiting