Jump to main content

yr 〜
yr

Search results 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)

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

Computability and logic : pbk : hard 5th ed

Computability and logic : pbk : hard 5th ed
Paper図書
George S. Boolos, John P. Burgess, Richard C. JeffreyCambridge University Press2007
Other Libraries in Japan

Computability and logic : pbk 4th ed

Computability and logic : pbk 4th ed
Paper図書
George S. Boolos, John P. Burgess, Richard C. JeffreyCambridge University Press2002
Other Libraries in Japan

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

Quantum computation and logic : how quantum computers have inspired logical investigations
Paper図書
Maria Luisa Dalla Chiara ... [et al.]Springerc2018
Other Libraries in Japan

Computability in context : computation and logic in the real world

Computability in context : computation and logic in the real world
Paper図書
editors, S. Barry Cooper & Andrea SorbiImperlial College Press2011
Other Libraries in Japan

Computability and logic : pbk 3rd ed

Computability and logic : pbk 3rd ed
Paper図書
George S. Boolos, Richard C. JeffreyCambridge University Press1989
Other Libraries in Japan

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

Computability and logic : U.K. : U.K., student : U.S. : U.S., pbk
Paper図書
Daniel E. CohenE. Horwood1987
Other Libraries in Japan

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

Combinatorics, computability and logic : proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS'01) : pbk
Paper図書
C.S. Calude, M.J. Dinneen and S. Sburlan (eds.)Springerc2001
Other Libraries in Japan
  • Author Heading...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

Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007 Siena, Italy, June 18-23, 2007 : proceedings
Paper図書
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.)Springerc2007
Other Libraries in Japan

Computability and logic pbk. 2nd ed

Computability and logic pbk. 2nd ed
Paper図書
George Boolos, Richard JeffreyCambridge University Press1980
Other Libraries in Japan

Computability and logic

Computability and logic
Paper図書
[by] George Boolos [and] Richard JeffreyCambridge University Pressc1974
Other Libraries in Japan

ＣＯＭＰＵＴＡＢＩＬＩＴＹ　ＡＮＤ　ＬＯＧＩＣ　　３ＲＤ　ＥＤ．

ＣＯＭＰＵＴＡＢＩＬＩＴＹ　ＡＮＤ　ＬＯＧＩＣ　　３ＲＤ　ＥＤ．
Paper図書
ＧＥＯＲＧＥ　Ｓ．ＢＯＯＬＯＳ／共著, Ｒ．Ｃ．ＪＥＦＦＲＥＹ／共著Ｃａｍｂｒｉｄｇｅ　Ｕｎｉｖｅｒｓｉｔｙ　Ｐｒｅｓｓ１９８９
Other Libraries in Japan

Computing and logic : mathematics and language

Computing and logic : mathematics and language
Paper図書
Glenn Satty, Thomas J. Blakeley, James G. ColbertPhilosophia Verlagc1988
Other Libraries in Japan

Advances in chance discovery : extended selection from international workshops (Studies in computational intelligence ; 423)

Advances in chance discovery : extended selection from international workshops (Studies in computational intelligence ; 423)
Paper図書
Yukio Ohsawa, Akinori Abe (eds.).Springer[2013]<M151-B40>
National Diet Library

The mechatronics handbook / editor-in-chief, Robert H. Bishop. (The electrical engineering handbook series)

The mechatronics handbook / editor-in-chief, Robert H. Bishop. (The electrical engineering handbook series)
Paper図書
CRC Pressc2002.<X>
National Diet Library

Trends in logic : studia logica library

Trends in logic : studia logica library
Paper図書
Kluwer Academic Publishersc1997-
Other Libraries in Japan

Ellis Horwood series in mathematics and its applications

Ellis Horwood series in mathematics and its applications
Paper図書
E. Horwood
Other Libraries in Japan
  • Related Material...ication theory Computability and logic Partial differential equation...

Discrete mathematics and theoretical computer science

Discrete mathematics and theoretical computer science
Paper図書
Springer-Verlag
Other Libraries in Japan
  • Related Material...Combinatorics, computability and logic : proceedings ......Combinatorics, Computability and Logic, (DMTCS'01) Finite versus inf...

Introductiones

Introductiones
Paper図書
Philosophia Verlag
Other Libraries in Japan

Lecture notes in computer science

Lecture notes in computer science
Paper図書
Springer-Verlag
Other Libraries in Japan

Reached to the end of result.

RSS