Worms and Spiders: Reflection Calculi and Ordinal Notation Systems.

David Fernández-Duque

Published in: FLAP (2017)

Keyphrases

data sets
information retrieval systems
databases
web services
management system
computer systems
expert systems
intelligent systems