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 25 träffar

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