Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics.

Published in: J. Appl. Log. (2006)

Keyphrases

complex systems
knowledge based systems
social networks
building blocks
distributed systems
computer science
case study
web services
retrieval systems
management system
database
image processing
decision making
computer vision
artificial intelligence
learning algorithm
machine learning
databases