Educational tools for computational modelling

Qualitative process theory

Kenneth D. Forbus · Artificial Intelligence · 1984 · 2K citations

Qualitative simulation

Benjamin Kuipers · Artificial Intelligence · 1986 · 1.4K citations

Logic for problem solving

Robert Kowalski, Steve Smoliar · ACM SIGSOFT Software Engineering Notes · 1982 · 1.2K citations

Computing, Computer Science, Knowledge Representation +7

Computer Solution of Ordinary Differential Equations

J. D. Lambert · The Computer Journal · 1976 · 344 citations · Full text

Natural Sciences, Computer Science, Mathematics +13

Computer Solution of Ordinary Differential Equations.

Douglas N. Arnold, L. F. Shampine, Marilyn K. Gordon · Mathematics of Computation · 1981 · 331 citations

Natural Sciences, Computer Science, Mathematics +13