https://ocw.mit.edu/courses/6-871-knowledge-based-applications-systems-spring-2005/resources/lect03_dendral/
lect03_dendral.pdf | Knowledge-Based Applications Systems | Electrical Engineering and Computer...
This resource includes topics: MACSYMA: symbolic mathematics, symbolic mathematics: AI approaches, SAINT: symbolic automatic integrator.
electrical engineeringdendralpdfknowledgebased