Only authorized users are allowed to upload new attachments.

Attachment revision history

Attachment Name Version Date Modified Size Kind Author Change note
BundyA_A Subsumption Architecture.pdf 1 2024-10-19 22:31 368 KB pdf Murray Altheim A Subsumption Architecture for theorem proving? Alan Bundy
This page (revision-1) was last changed on 2024-10-19 22:31 by Murray AltheimTop