MPG.eBooks - Search Results - "machines"

Search alternatives:
"machines" » "machine"

Cover Image

1

Reasoning Web. Semantic Technologies for Intelligent Data Access : 9th International Summer School 2013, Mannheim, Germany, July 30 -- August 2, 2013. Proceedings

Published 2013

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Cover Image

2

Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Cover Image

3

Expertensysteme

Published 1990

Springer Vienna

Subjects: “...Machine theory...”

Cover Image

4

Logic Programming and Databases

by Ceri, Stefano, Gottlob, Georg, Tanca, Letizia
Published 1990

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Cover Image

5

Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

Published 1993

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Cover Image

6

Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings

Published 1999

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Cover Image

7

Database Theory - ICDT '95 : 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

Subjects: “...Machine theory...”

Cover Image

8

Datalog Reloaded : First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers

Published 2011

Springer Berlin Heidelberg

Subjects: “...Machine theory...”