Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics.

Beata Konikowska

Published in: WADT (1998)

Keyphrases

computer science
distributed systems
inference rules
data sets
artificial intelligence
object oriented
computer systems
database
databases
management system
human computer interaction
complex systems
expressive power
cognitive science
computer scientists