本文に飛ぶ

年 〜
年

検索結果 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 ...

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
全国の図書館
  • 著者標目Kechris, 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
デジタル電子書籍・電子雑誌図書
2008
インターネットで読める国立国会図書館
  • 著者標目...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)
紙図書
Springerc2007.<M17-07-1735>
国立国会図書館
  • 著者標目Cooper, 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)
紙図書
Springerc2006.<M17-06-2273>
国立国会図書館
  • 著者標目...erger, Ulrich. Löwe, Benedikt. Tucker, John V. Conference o...

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
全国の図書館
  • 著者標目Kechris, 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
紙図書
edited by Stefan Geschke, Benedikt Löwe, Philipp SchlichtCollege Publicationsc2014
全国の図書館
  • 著者標目Geschke, 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
紙図書
Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.)Springerc2013
全国の図書館
  • 著者標目Conference on Computability in Europe Bonizzoni, Paola Brattka, Vasco Löwe, Benedikt

Wadge degrees and projective ordinals

Wadge degrees and projective ordinals
紙図書
edited by Alexander S. Kechris, Benedikt Löwe, John R. SteelCambridge University Press2012
全国の図書館
  • 著者標目Kechris, 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
紙図書
Benedikt Löwe ... [et al.] , (eds.)Springerc2011
全国の図書館
  • 著者標目Conference 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
紙図書
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, editorsSpringerc2010
全国の図書館
  • 著者標目Cooper, 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
紙図書
edited by Benedikt LöweCollege Publicationsc2007
全国の図書館
  • 著者標目Lö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
紙図書
Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)Springer2009
全国の図書館
  • 著者標目Conference 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
紙図書
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, editorsSpringer2008
全国の図書館
  • 著者標目Cooper, S. B. Löwe, Benedikt Sorbi, Andrea,

Games, scales, and suslin cardinals

Games, scales, and suslin cardinals
紙図書
edited by Alexander S. Kechris, Benedikt Löwe, John R. SteelCambridge University Press2008
全国の図書館
  • 著者標目Kechris, 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.
紙図書
Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (eds.)Springerc2008
全国の図書館
  • 著者標目...poulos, Costas Löwe, Benedikt
RSS