Baumgartner, Peter
Baumgartner, Peter
Bibliography of Baumgartner, Peter, alphabetically ordered
Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings (Lecture Notes in Computer Science)
Publisher: SpringerISBN10: 3540710698 ISBN13: 9783540710691 DDC: 006 Edition: Paperback; 2008-09-11Engineering for a disposal facility using the in-room emplacement method
Publisher: AECL Whiteshell LaboratoriesISBN10: 0660165058 ISBN13: 9780660165059 DDC: 621.48/38Phraseological Dictionary English - German: General Vocabulary in Technical and Scientific Texts
Publisher: SpringerISBN10: 3642222811 ISBN13: 9783642222818 DDC: 418 Edition: Hardcover; 2011-09-28Radiolaria: Siliceous Plankton through Time (Swiss Journal of Geosciences Supplement)
Publisher: Birkhäuser BaselISBN10: 3764383437 ISBN13: 9783764383435 DDC: 550 Edition: Paperback; 2007-03-05Rock breaking and mechanical excavation: 14th Canadian Rock Mechanics Symposium
Publisher: Canadian Institute of Mining and MetallurgyISBN10: 0919086063 ISBN13: 9780919086067 DDC: 620Speaking minds: interviews with twenty eminent cognitive scientists
Publisher: Princeton University PressISBN10: 0691036780 ISBN13: 9780691036786 LCC: BF311 Edition: (cloth)Speaking minds: interviews with twenty eminent cognitive scientists
Publisher: Princeton University PressISBN10: 0691029016 ISBN13: 9780691029016 Edition: (pbk.)Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
Publisher: SpringerISBN10: 3540593381 ISBN13: 9783540593386 LCC: QA76.9Theory reasoning in connection calculi
Publisher: Springer Berlin HeidelbergISBN10: 3540655093 ISBN13: 9783540655091 DDC: 004/.01/5113 LCC: QA76.9 Edition: (alk. paper)Wrterbuch moderne Wirtschaft / Dictionary of Modern Business: Mit Anwendungsbeispielen / With Model Phrases and Sentences. Deutsch-Englisch / English-German
Publisher: Wiley-VCHISBN10: 3895783099 ISBN13: 9783895783098 DDC: 330 Edition: Paperback; 2008-07-15