Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
The description logic handbook: theory, implementation and applications. -- 2nd ed. edited by Franz Baader...[and others]

by Baader, Franz.

Edition: 2nd ed.Publication details: Cambridge Cambridge University Press 2003Availability: Items available for loan: CBU-MAIN LIBRARY, KITWE. (1) . Collection(s): Call number: BC 71 Des.

Add to cart
Term rewriting and all that

by Nipkow, Tobias, 1958- | Baader, Franz.

Publication details: Cambridge : Cambridge University Press 1998Online access: Click here for electornic version Availability: Items available for loan: CBU-MAIN LIBRARY, KITWE. (1) . Collection(s): Call number: QA 267 Baa.

Add to cart
Pages
Not finding what you're looking for?