ACL2s Systems Programming.

Andrew T. Walter Panagiotis Manolios

Published in: ACL2 (2022)

Keyphrases

real time
distributed systems
neural network
management system
case study
open source
intelligent systems
computer systems
building blocks
databases
information retrieval
complex systems