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
21 Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 2016 Okänt
22 Programs, Proofs, Processes - 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings Fernando. Ferreira 2010 Engelska
23 Interactive Logic: Selected Papers from the 7th Augustus De Morgan Workshop, London (Texts in logic and games v. 1) Dov M. Gabbay 2007 Okänt
24 Games, Scales and Suslin Cardinals: The Cabal Seminar Volume I 2008 Engelska
25 Infinity, computability, and metamathematics - festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch cop. 2014 Engelska
26 Mathematical Theory and Computational Practice Klaus Ambos-Spies 2009 Okänt
27 Classical and New Paradigms of Computation and their Complexity Hierarchies Benedikt Löwe 2004 Engelska
28 Models of Computation in Context - 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings Benedikt. Löwe 2011 Engelska
29 Infinity in Logic and Computation Margaret Archibald 2009 Okänt
30 New computational paradigms - changing conceptions of what is computable 2008 Engelska
31 New Computational Paradigms: Changing Conceptions of What Is Computable 2008 Okänt
32 The Nature of Computation. Logic, Algorithms, Applications Paola Bonizzoni 2013 Okänt
33 Computation and Logic in the Real World S. Barry Cooper 2007 Okänt
34 New Computational Paradigms S. Barry Cooper 2005 Okänt
35 Wadge Degrees and Projective Ordinals - The Cabal Seminar Volume II 2011 Engelska
36 Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II 2011 Okänt

Förra sidan 1 2

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.