Koha online catalog › Results of search for 'au:"Baader, Franz."'

Your search returned 2 results.

	1.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings / by Franz Baader, Andrei Voronkov. by Baader, Franz \| Voronkov, Andrei \| SpringerLink (Online service). Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 B33 2005 (1). Place hold Add to cart (remove)
	2.	Term Rewriting and Applications [electronic resource] : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings / edited by Franz Baader. by Baader, Franz \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA267 B33 2007 (1). Place hold Add to cart (remove)