MPG.eBooks - Search Results - "Theorie"

Cover Image

1

Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Cover Image

2

An introduction to description logic

by Baader, Franz
Published 2017

Cambridge University Press

Subjects: “...Knowledge representation (Information theory)...”