![Mathematics / Logic / Mathematical logic / Algebraic structures / Model theory / Z notation / Topology / S / Set theory / Lattice / Ring / Axiom Mathematics / Logic / Mathematical logic / Algebraic structures / Model theory / Z notation / Topology / S / Set theory / Lattice / Ring / Axiom](https://www.pdfsearch.io/img/6e72deb12ca9ec07699345d49c5b4bd8.jpg) Date: 2015-02-05 09:51:09Mathematics Logic Mathematical logic Algebraic structures Model theory Z notation Topology S Set theory Lattice Ring Axiom | | Efficient Reasoning with Range and Domain Constraints Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|horrocks}@cs.man.ac.ukAdd to Reading ListSource URL: www.cs.man.ac.ukDownload Document from Source Website File Size: 164,69 KBShare Document on Facebook
|