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: Peter Baumgartner 26 träffar

Titel Författare År Språk
1-2 Theory Reasoning in Connection Calculi (flera utgåvor) Peter Baumgartner uuuu-uuuu Okänt
3 Computer in der Lehre 1992 Tyska
4 Speaking minds - interviews with twenty eminent cognitive scientists cop.1995 Engelska
5 Theorem proving with analytic tableaux and related methods - 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings 1995 Engelska
6-7 Theory reasoning in connection calculi (flera utgåvor) Peter Baumgartner cop. 1998 Engelska
8 Lernen mit Software Peter Baumgartner 1999 Tyska
9 Der Hintergrund des Wissens - Vorarbeiten zu einer Kritik der programmierbaren Vernunft Peter Baumgartner c 1993 Okänt
10 Jurassic sedimentary evolution and nappe emplacement in the Argolis Peninsula (Peloponnesus, Greece) Peter O. Baumgartner 1985 Engelska
11 Lernsoftware im Maschinschreib-Unterricht - Konzeption, Entwicklung und Einsatz am Beispiel des Programms WinTast Peter Baumgartner 1996 Tyska
12 Theorem Proving with Analytic Tableaux and Related Methods TABLEAUX '95 1995 Engelska
13 Automated Reasoning electronic resource - 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings Jaime G. Carbonell 2008 Engelska
14 Radiolaria - Siliceous Plankton through Time Peter O. Baumgartner 2007 Engelska
15 Phraseological Dictionary English - German - General Vocabulary in Technical and Scientific Texts Roland. Kraus 2011 Engelska
16 Jurassic sedimentary evolution and nappe emplacement in the Argolis peninsula (Peleponnesus, Greece) Peter O. Baumgartner uuuu-uuuu Okänt
17 Speaking Minds Peter Baumgartner 2014 Engelska
18-19 Speaking Minds: Interviews with Twenty Eminent Cognitive Scientists (flera utgåvor) Peter Baumgartner uuuu-uuuu Okänt
20 Theorem Proving with Analytic Tableaux and Related Methods Peter Baumgartner uuuu-uuuu Okänt

1 2 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.