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.