「"Computability and logic"」の検索結果 | NDLサーチ

検索結果 20 件

タイトルでまとめる

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>

国立国会図書館

Computability and logic : pbk : hard 5th ed

紙図書

George S. Boolos, John P. Burgess, Richard C. JeffreyCambridge University Press2007

全国の図書館

Computability and logic : pbk 4th ed

紙図書

George S. Boolos, John P. Burgess, Richard C. JeffreyCambridge University Press2002

全国の図書館

Quantum computation and logic : how quantum computers have inspired logical investigations

紙図書

Maria Luisa Dalla Chiara ... [et al.]Springerc2018

全国の図書館

Computability in context : computation and logic in the real world

紙図書

editors, S. Barry Cooper & Andrea SorbiImperlial College Press2011

全国の図書館

Computability and logic : pbk 3rd ed

紙図書

George S. Boolos, Richard C. JeffreyCambridge University Press1989

全国の図書館

Computability and logic : U.K. : U.K., student : U.S. : U.S., pbk

紙図書

Daniel E. CohenE. Horwood1987

全国の図書館

Combinatorics, computability and logic : proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS'01) : pbk

紙図書

C.S. Calude, M.J. Dinneen and S. Sburlan (eds.)Springerc2001

全国の図書館

著者標目...Combinatorics, Computability and Logic Calude, Cristian Dinneen, M. ...

Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007 Siena, Italy, June 18-23, 2007 : proceedings

紙図書

S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)Springerc2007

全国の図書館

Computability and logic pbk. 2nd ed

紙図書

George Boolos, Richard JeffreyCambridge University Press1980

全国の図書館