Login / Signup
Trial and error mathematics: Dialectical systems and completions of theories.
Jacopo Amidei
Uri Andrews
Duccio Pianigiani
Luca San Mauro
Andrea Sorbi
Published in:
J. Log. Comput. (2019)
Keyphrases
</>
management system
distributed systems
database
information systems
real time
information retrieval
complex systems