Notation systems for infinitary derivations.

Wilfried Buchholz

Published in: Arch. Math. Log. (1991)

Keyphrases

learning systems
expert systems
building blocks
three dimensional
databases
user interface
computing systems
inference rules
embedded systems
computer systems
intelligent systems
management system
case study
web services
image processing
e learning
real world