2 books • 2 series
Compiled Labelled Deductive Systems (Studies in Logic & Computation, #10)
Neural-Symbolic Learning Systems (Perspectives in Neural Computing)