Engineering Scientific Assistants using Interactive Structured Induction of Programs

Open in new window