Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Franz. Baader 64 träffar

Titel Författare År Språk
41-42 The description logic handbook - Theory, Implementation and Applications (flera utgåvor) 2010 Engelska
43 Term Rewriting and Applications Franz Baader 2007 Okänt
44 Vorlesungen über speculative Dogmatik H. 2 Franz von. Baader 1830 Tyska
45 Vorlesungen über speculative Dogmatik H. 5 Franz von. Baader 1838 Tyska
46 Vorlesungen über speculative Dogmatik H. 4 Franz von. Baader 1836 Tyska
47 Vorlesungen über speculative Dogmatik H. 3 Franz von. Baader 1833 Tyska
48 Vorlesungen über speculative Dogmatik H. 1 Franz von. Baader 1828 Tyska
49 Vierzig Sätze aus eines religiösen Erotik Franz von. Baader 1831 Tyska
50 Beiträge zur dinamischen Philosophie im Gegensaze der mechanischen Franz von. Baader 1809 Tyska
51 Term Rewriting and All That 1999 Engelska
52 Ueber die Einführung der Kunststrassen (Eisenbahnen) in Deutschland - aus einem Sendschreiben an Herrn Director von Widmanstätten in Wien Franz von Baader 1836 Tyska
53-54 An introduction to description logic (flera utgåvor) Franz Baader 2017 Engelska
55 Jugendtagebücher 1786–1793 Franz von Baader 2017 Engelska
56 Automated Deduction - CADE-19 - 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings International Conference on Automated Deduction International Conference on Automated Deduction 2003 Engelska
57 KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI Vienna, Austria, September 1921, 2001 Proceedings Franz Baader uuuu-uuuu Okänt
58 Logic for Programming, Artificial Intelligence, and Reasoning, Volume 3452 Franz Baader 2005 Okänt
59 Term rewriting and all that Franz Baader 1998 Okänt
60 The Description Logic Handbook: Theory, Implementation and Applications Franz Baader uuuu-uuuu Okänt

Förra sidan 1 2 3 4 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.