年 〜
年

検索結果 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)
紙図書
Springerc2013.<M17-14-558>
国立国会図書館
  • 著者標目..., 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)
紙図書
Springerc2012.<M17-13-533>
国立国会図書館
  • 著者標目...) 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)
紙図書
Springerc2011.<M17-12-25>
国立国会図書館

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)
紙図書
Springerc2009.<M17-10-1586>
国立国会図書館
  • 著者標目Ambos-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)
紙図書
Springerc2008.<M17-08-2134>
国立国会図書館
  • 著者標目...oulos, Costas. Löwe, Benedikt. Conference on Computability i...

Large cardinals, determinacy and other topics : hardback

Large cardinals, determinacy and other topics : hardback
紙図書
edited by Alexander S. Kechris, Benedikt Löwe, John R. SteelAssociation for Symbolic Logic2021
全国の図書館

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

Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London
デジタル電子書籍・電子雑誌図書
2008
インターネットで読める国立国会図書館

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)
紙図書
Springerc2007.<M17-07-1735>
国立国会図書館
  • 著者標目Cooper, S. B. (S. Barry) Löwe, Benedikt. Sorbi, Andrea, 1956- Conferen...

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)
紙図書
Springerc2006.<M17-06-2273>
国立国会図書館
  • 著者標目...erger, Ulrich. Löwe, Benedikt. Tucker, John V. Conference on...

Ordinal definability and recursion theory : hardback

Ordinal definability and recursion theory : hardback
紙図書
edited by Alexander S. Kechris, Benedikt Löwe, John R. SteelAssociation for Symbolic Logic2016
全国の図書館

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
紙図書
edited by Stefan Geschke, Benedikt Löwe, Philipp SchlichtCollege Publicationsc2014
全国の図書館

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
紙図書
Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.)Springerc2013
全国の図書館

Wadge degrees and projective ordinals

Wadge degrees and projective ordinals
紙図書
edited by Alexander S. Kechris, Benedikt Löwe, John R. SteelCambridge University Press2012
全国の図書館

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
紙図書
Benedikt Löwe ... [et al.] , (eds.)Springerc2011
全国の図書館

New computational paradigms : changing conceptions of what is computable

New computational paradigms : changing conceptions of what is computable
紙図書
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, editorsSpringerc2010
全国の図書館

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

Algebra, logic, set theory : festschrift für Ulrich Felgner zum 65. geburtstag
紙図書
edited by Benedikt LöweCollege Publicationsc2007
全国の図書館

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
紙図書
Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)Springer2009
全国の図書館

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

New computational paradigms : changing conceptions of what is computable : pbk
紙図書
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, editorsSpringer2008
全国の図書館

Games, scales, and suslin cardinals

Games, scales, and suslin cardinals
紙図書
edited by Alexander S. Kechris, Benedikt Löwe, John R. SteelCambridge University Press2008
全国の図書館

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.
紙図書
Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (eds.)Springerc2008
全国の図書館