Cover Image
Read Now

1
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... in concept languages -- Computing extensions of terminological default theories -- A formalization...”
Cover Image
Read Now

2
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... interaction of autonomous agents -- Using rough sets theory to predict German word stress -- Graphtheoretical...”
Cover Image
Read Now

3
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... an equality prover into a software development system based on type theory -- Causation and nonmonotonic...”