- ECU Libraries Catalog

Start Over

You searched for: author_facet Baader, Franz

Showing 1 - 9 of 9 results

Search Results

Cover image for Logic for programming, artificial intelligence, and reasoning

Logic for programming, artificial intelligence, and reasoning

by LPAR (Conference)
2005
Format: Electronic

Location
Access Content Online

Cover image for Logic for programming, artificial intelligence, and reasoning

Logic for programming, artificial intelligence, and reasoning

by LPAR (Conference)
2005
Format: Electronic

Location
Access Content Online

Cover image for The description logic handbook

The description logic handbook

2003
Format: Electronic

Location
Access Content Online

Cover image for Automated deduction, CADE-19

Automated deduction, CADE-19

by International Conference on Automated Deduction
2003
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.A96 I57 2003	✔ Available

Cover image for The description logic handbook

The description logic handbook

2003
Format: Book

Location	Call #	Status
Joyner - General Stacks	Q387.3 .D47 2003	✔ Available

Cover image for Automated deduction, CADE-19

Automated deduction, CADE-19

by International Conference on Automated Deduction
2003
Format: Electronic

Location
Access Content Online

Cover image for KI 2001

KI 2001

by Joint German/Austrian Conference on Artificial Intelligence
2001
Format: Electronic

Location
Access Content Online

Cover image for KI 2001

KI 2001

by Joint German /Austrian Conference on Artificial Intelligence
2001
Format: Electronic

Location
Access Content Online

Cover image for Term rewriting and all that

Term rewriting and all that

by Baader, Franz
1998
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA267 .B314 1998	✔ Available