Introduction to Automata Theory, Languages, and Computation
John E. Hopcroft & Rajeev Motwani & Jeffrey D. Ullman
Mathematical Logic and Computation
Jeremy Avigad
Concepts, Ontologies, and Knowledge Representation
Grega Jakus & Veljko Milutinović & Sanida Omerović & Sašo Tomažič
Mysterium Magnum - Alternative Version
Jacob Boehme & John Sparrow
Fluent English
Barbara Raifsnider & Christopher A. Warnasch
Towards the Semantic Web: Ontology-Driven Knowledge Management
John Davies & Dieter Fensel & Frank van Harmelen