Books by Franz Baader

Franz Baader
Average rating 4.09 · 46 ratings · 5 reviews · shelved 273 times

Showing 12 distinct works.

	Term Rewriting and All That by Franz Baader, Tobias Nipkow 4.15 avg rating — 20 ratings — published 1998 — 12 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	The Description Logic Handbook: Theory, Implementation, and Applications, 2nd Edition by Franz Baader (Editor) 3.75 avg rating — 16 ratings — published 1999 — 9 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	An Introduction to Description Logic by Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler 4.50 avg rating — 10 ratings — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings (Lecture Notes in Computer Science, 3452) by Franz Baader (Editor) 0.00 avg rating — 0 ratings — published 2005	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Automated Deduction - CADE-19 by Franz Baader 0.00 avg rating — 0 ratings — published 2003 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings by Franz Baader (Editor), Gerhard Brewka (Editor), Thomas Eiter (Editor) 0.00 avg rating — 0 ratings — published 2006	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Term Rewriting and Applications by Franz Baader (editor) 0.00 avg rating — 0 ratings — published 2007 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Vorlesungen Über Religiöse Philosophie Im Gegensatze Der Irreligiösen, Alterer und Neueren Zeit. I Helft, Einleitender Theil Oder Vom Erkennen Überhaupt by Franz Baader (Creator) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Automated Deduction, CADE-19 : 19th International Conference on Automated Deduct by Franz Baader 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Franz von Baader's Commentary on Louis Claude de Saint-Martin's Natural Table by Franz Baader, Timothy W. Wright (Editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer Science Book 4533) by Franz Baader (Editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings ... Notes in Computer Science Book 3452) by Franz Baader (Editor), Andrei Voronkov (Editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.