next up previous
Next: Further reading Up: Logic Knowledge Representation Previous: Isa and instance relationships

Applications and extensions



dave@cs.cf.ac.uk