Baader, Franz. - ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author Baader, Franz.

Showing 1 - 10 of 14 results

Search Results

Cover image for The description logic handbook

The description logic handbook

2003
Format: Electronic

Location
Access Content Online

Cover image for The description logic handbook

The description logic handbook

2003
Format: Book

Location
Access Content Online

Cover image for Term Rewriting and Applications

Term Rewriting and Applications

2007
Format: Electronic

Location
Access Content Online

Cover image for Texte Zur Mystik und Theosophie (1808-1818)

Texte Zur Mystik und Theosophie (1808-1818)

by Baader, Franz von
2021
First edition
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

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 Ueber die Einführung der Kunststrassen (Eisenbahnen) in Deutschland

Ueber die Einführung der Kunststrassen (Eisenbahnen) in Deutschland

by Baader, Franz von
1836
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: 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 Logic for programming, artificial intelligence, and reasoning

Logic for programming, artificial intelligence, and reasoning

by LPAR (Conference)
2005
Format: Electronic

Location
Access Content Online