Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss.

Daniil Kozhemiachenko

Published in: J. Appl. Non Class. Logics (2018)

Keyphrases

intelligent systems
management system
simulation model
artificial intelligence
building blocks
mathematical models
real time
data sets
image processing
mathematical model
systems require