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: Benedikt Löwe 36 träffar

Titel Författare År Språk
1 Mathematical Theory and Computational Practice - 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings Klaus. Ambos-Spies 2009 Engelska
2 Infinity in Logic and Computation - International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers Margaret. Archibald 2009 Engelska
3 Logic and Theory of Algorithms Arnold Beckmann 2008 Okänt
4 Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006 : Proceedings (Lecture notes in computer science, LNCS sublibrary. SL 1, Theoretical computer science and general issues 3988) Arnold Beckmann 2006 Okänt
5 How the World Computes Barry S. Cooper 2012 Okänt
6 Logic and Theory of Algorithms electronic resource - 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings Arnold. Beckmann 2008 Engelska
7 Logical Approaches to Computational Barriers - Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings Arnold. Beckmann 2006 Engelska
8 Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000 Benedikt Löwe 2003 Okänt
9 Models of Computation in Context Benedikt Löwe 2011 Okänt
10 Logic and the Foundations of Game and Decision Theory – LOFT 8 - 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers Giacomo. Bonanno 2010 Engelska
11 The Nature of Computation. Logic, Algorithms, Applications Paola; Brattka Bonizzoni 2013 Engelska
12 The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings Paola. Bonizzoni 2013 Engelska
13 The Cabal seminar Volume I, Games, scales, and suslin cardinals 2008 Engelska
14 New Computational Paradigms Barry S. Cooper Engelska
15-16 Computation and Logic in the Real World (flera utgåvor) S. Barry. Cooper 2007 Engelska
17 How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings S. Barry. Cooper 2012 Engelska
18 New Computational Paradigms - First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings S. Barry. Cooper 2005 Engelska
19 New Computational Paradigms electronic resource - Changing Conceptions of What is Computable S. Barry. Cooper 2008 Engelska
20 Cultures of Mathematics and Logic - Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 2016 Engelska

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.