Hereditarily Structurally Complete Superintuitionistic Deductive Systems.

Published in: Stud Logica (2018)

Keyphrases

building blocks
database
neural network
management system
computer systems
distributed systems
real world
information systems
three dimensional
high level
information technology