yr 〜
yr

Search results 25

The nature of computation : logic, algorithms, applications : 9th conference on computability in Europe, CiE 2013 : Milan, Italy, July 1-5, 2013 : proceedings : annual CiE conference : Jul 2013, Milan, Italy. (Lecture Notes in Computer Science ; 7921)

The nature of computation : logic, algorithms, applications : 9th conference on computability in Europe, CiE 2013 : Milan, Italy, July 1-5, 2013 : proceedings : annual CiE conference : Jul 2013, Milan, Italy. (Lecture Notes in Computer Science ; 7921)
Paper図書
Springerc2013.<M17-14-558>
National Diet Library
  • Author Heading..., Vasco, 1966- Löwe, Benedikt. Association Computability in...

How the world computes : Turing centenary conference and 8th conference on computability in Europe, CiE 2012 : Cambridge, UK, June 18-23, 2012 : proceedings : annual CiE conference : Jun 2012, Cambridge, UK. (Lecture Notes in Computer Science ; 7318)

How the world computes : Turing centenary conference and 8th conference on computability in Europe, CiE 2012 : Cambridge, UK, June 18-23, 2012 : proceedings : annual CiE conference : Jun 2012, Cambridge, UK. (Lecture Notes in Computer Science ; 7318)
Paper図書
Springerc2012.<M17-13-533>
National Diet Library
  • Author Heading...) Dawar, Anuj. Löwe, Benedikt.

Models of computation in context : 7th conference on computability in Europe, CiE 2011 : Sofia, Bulgaria, June 27-July 2, 2011 : proceedings : annual CiE conference : Jun 2011, Sofia, Bulgaria. (Lecture Notes in Computer Science ; 6735)

Models of computation in context : 7th conference on computability in Europe, CiE 2011 : Sofia, Bulgaria, June 27-July 2, 2011 : proceedings : annual CiE conference : Jun 2011, Sofia, Bulgaria. (Lecture Notes in Computer Science ; 6735)
Paper図書
Springerc2011.<M17-12-25>
National Diet Library

Mathematical theory and computational practice : 5th conference on computability in Europe, CiE 2009 : Heidelberg, Germany, July 19-24, 2009 : proceedings. : CiE-CS : annual CiE conference : Jul 2009, Heidelberg, Germany. (Lecture Notes in Computer Science ; 5635)

Mathematical theory and computational practice : 5th conference on computability in Europe, CiE 2009 : Heidelberg, Germany, July 19-24, 2009 : proceedings. : CiE-CS : annual CiE conference : Jul 2009, Heidelberg, Germany. (Lecture Notes in Computer Science ; 5635)
Paper図書
Springerc2009.<M17-10-1586>
National Diet Library
  • Author HeadingAmbos-Spies, K. (Klaus) Löwe, Benedikt. Merkle, Wolfgang. Conference...

Logic and theory of algorithms : 4th conference on computability in Europe, CiE 2008 : Athens, Greece, June 15-20, 2008 : proceedings. : Athens meeting : annual CiE conference : Jun 2008, Athens, Greece. (Lecture Notes in Computer Science ; 5028)

Logic and theory of algorithms : 4th conference on computability in Europe, CiE 2008 : Athens, Greece, June 15-20, 2008 : proceedings. : Athens meeting : annual CiE conference : Jun 2008, Athens, Greece. (Lecture Notes in Computer Science ; 5028)
Paper図書
Springerc2008.<M17-08-2134>
National Diet Library
  • Author Heading...oulos, Costas. Löwe, Benedikt. Conference on Computability ...

Large cardinals, determinacy and other topics : hardback

Large cardinals, determinacy and other topics : hardback
Paper図書
edited by Alexander S. Kechris, Benedikt Löwe, John R. SteelAssociation for Symbolic Logic2021
Other Libraries in Japan
  • Author HeadingKechris, Alexander S. Löwe, Benedikt Steel, John R.

Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London

Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London
Digital電子書籍・電子雑誌図書
2008
Available onlineNational Diet Library
  • Author Heading...an Gabbay, Dov Lowe, Benedikt Benthem, J. F. A. K. van Gabb...

Computation and logic in the real world : third conference on computability in Europe, CiE 2007 : Siena, Italy, June 18-23, 2007 : proceedings. : annual CiE conference : women in computability workshop : Jun 2007, Siena, Italy. (Lecture Notes in Computer Science ; 4497)

Computation and logic in the real world : third conference on computability in Europe, CiE 2007 : Siena, Italy, June 18-23, 2007 : proceedings. : annual CiE conference : women in computability workshop : Jun 2007, Siena, Italy. (Lecture Notes in Computer Science ; 4497)
Paper図書
Springerc2007.<M17-07-1735>
National Diet Library
  • Author HeadingCooper, S. B. (S. Barry) Löwe, Benedikt. Sorbi, Andrea, 1956- Confere...

Logical approaches to computational barriers : second conference on computability in Europe, CiE 2006 : Swansea, UK, June 30-July 5, 2006 : proceedings. : Swansea meeting : Jun 2006, Swansea, UK. (Lecture Notes in Computer Science ; 3988)

Logical approaches to computational barriers : second conference on computability in Europe, CiE 2006 : Swansea, UK, June 30-July 5, 2006 : proceedings. : Swansea meeting : Jun 2006, Swansea, UK. (Lecture Notes in Computer Science ; 3988)
Paper図書
Springerc2006.<M17-06-2273>
National Diet Library
  • Author Heading...erger, Ulrich. Löwe, Benedikt. Tucker, John V. Conference o...

Ordinal definability and recursion theory : hardback

Ordinal definability and recursion theory : hardback
Paper図書
edited by Alexander S. Kechris, Benedikt Löwe, John R. SteelAssociation for Symbolic Logic2016
Other Libraries in Japan
  • Author HeadingKechris, Alexander S. Löwe, Benedikt Steel, John R.

Infinity, computability, and metamathematics : festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch

Infinity, computability, and metamathematics : festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch
Paper図書
edited by Stefan Geschke, Benedikt Löwe, Philipp SchlichtCollege Publicationsc2014
Other Libraries in Japan
  • Author HeadingGeschke, Stefan Löwe, Benedikt Schlicht, Philipp

The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings

The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings
Paper図書
Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.)Springerc2013
Other Libraries in Japan
  • Author HeadingConference on Computability in Europe Bonizzoni, Paola Brattka, Vasco Löwe, Benedikt

Wadge degrees and projective ordinals

Wadge degrees and projective ordinals
Paper図書
edited by Alexander S. Kechris, Benedikt Löwe, John R. SteelCambridge University Press2012
Other Libraries in Japan
  • Author HeadingKechris, Alexander S. Löwe, Benedikt Steel, John R.

Models of computation in context : 7th Conference on Computability in Europe, CIE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings : pbk

Models of computation in context : 7th Conference on Computability in Europe, CIE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings : pbk
Paper図書
Benedikt Löwe ... [et al.] , (eds.)Springerc2011
Other Libraries in Japan
  • Author HeadingConference on Computability in Europe Löwe, Benedikt

New computational paradigms : changing conceptions of what is computable

New computational paradigms : changing conceptions of what is computable
Paper図書
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, editorsSpringerc2010
Other Libraries in Japan
  • Author HeadingCooper, S. B. Löwe, Benedikt Sorbi, Andrea,

Algebra, logic, set theory : festschrift für Ulrich Felgner zum 65. geburtstag

Algebra, logic, set theory : festschrift für Ulrich Felgner zum 65. geburtstag
Paper図書
edited by Benedikt LöweCollege Publicationsc2007
Other Libraries in Japan
  • Author HeadingLöwe, Benedikt

Mathematical theory and computational practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : proceedings

Mathematical theory and computational practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : proceedings
Paper図書
Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)Springer2009
Other Libraries in Japan
  • Author HeadingConference on Computability in Europe Ambos-Spies, K. (Klaus) Löwe, Benedikt Merkle, Wolfgang

New computational paradigms : changing conceptions of what is computable : pbk

New computational paradigms : changing conceptions of what is computable : pbk
Paper図書
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, editorsSpringer2008
Other Libraries in Japan
  • Author HeadingCooper, S. B. Löwe, Benedikt Sorbi, Andrea,

Games, scales, and suslin cardinals

Games, scales, and suslin cardinals
Paper図書
edited by Alexander S. Kechris, Benedikt Löwe, John R. SteelCambridge University Press2008
Other Libraries in Japan
  • Author HeadingKechris, Alexander S. Löwe, Benedikt Steel, John R.

Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings pbk.

Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings pbk.
Paper図書
Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (eds.)Springerc2008
Other Libraries in Japan
  • Author Heading...poulos, Costas Löwe, Benedikt