Jump to main content

yr 〜
yr

Search results 44

High-performance cryogenic computing using superconductor single flux quantum logic

High-performance cryogenic computing using superconductor single flux quantum logic
Digital博士論文障害者向け資料あり
石田, 浩貴2021-03-24
National Diet Library

Studies on Implications and Sequent Calculi for Quantum Logic

Studies on Implications and Sequent Calculi for Quantum Logic
Digital博士論文障害者向け資料あり
河野, 友亮, Kawano, Tomoaki2018-09
National Diet Library

Study on future high-end computing system using single-flux-quantum logic circuits

Study on future high-end computing system using single-flux-quantum logic circuits
Paper博士論文
Heejoung Park [著][Heejoung Park][2010]<UT51-2010-K328>
National Diet Library

Handbook of quantum logic and quantum structures : quantum structures / edited by Kurt Engesser, Dov M. Gabbay, Daniel Lehmann. 1st ed.

Handbook of quantum logic and quantum structures : quantum structures / edited by Kurt Engesser, Dov M. Gabbay, Daniel Lehmann. 1st ed.
Paper図書
Elsevier2007.<MC53-B29>
National Diet Library
  • Subject HeadingQuantum logic. Quantum theory.

Extended quantum logics

Extended quantum logics
Paper博士論文
Kenji Tokuo [著][Kenji Tokuo][2004]<UT51-2004-G780>
National Diet Library

Quantum probability, quantum logic / Itamar Pitowsky. (Lecture notes in physics)

Quantum probability, quantum logic / Itamar Pitowsky. (Lecture notes in physics)
Paper図書
Springer-Verlagc1989.<MC53-A35>
National Diet Library

Current issues in quantum logic / edited by Enrico G. Beltrametti and Bas C. van Fraassen. (Ettore Majorana international science series : Physical sciences ; v. 8)

Current issues in quantum logic / edited by Enrico G. Beltrametti and Bas C. van Fraassen. (Ettore Majorana international science series : Physical sciences ; v. 8)
Paper図書
Plenum Pressc1981.<M15-A4738>
National Diet Library
  • Author HeadingWorkshop on Quantum Logic (1979 : Erice, Italy) Beltram...

Compact representations for the design of quantum logic : pbk

Compact representations for the design of quantum logic : pbk
Paper図書
Philipp Niemann, Robert WilleSpringerc2017
Other Libraries in Japan

Studies on Implications and Sequent Calculi for Quantum Logic

Studies on Implications and Sequent Calculi for Quantum Logic
Digital博士論文
河野, 友亮, Kawano, Tomoaki2018-09
Available onlineOther Libraries in Japan

Quantum logic

Quantum logic
Paper図書
Karl SvozilSpringer1998
Other Libraries in Japan
  • Subject HeadingQuantum logic
  • Subject Heading (ID)Quantum logic

Handbook of quantum logic and quantum structures : quantum logic

Handbook of quantum logic and quantum structures : quantum logic
Paper図書
edited by Kurt Engesser, Dov M. Gabbay, Daniel LehmannElsevier / North-Holland2009
Other Libraries in Japan
  • Subject HeadingQuantum logic
  • Subject Heading (ID)Quantum logic

Gentzen Methods in Quantum Logic

Gentzen Methods in Quantum Logic
Digital図書
NISHIMURA HirokazuELSEVIER2007-08Handbook of quantum logic and quantum structures : quantum logicp.227-260
Available onlineOther Libraries in Japan

A new approach to quantum logic

A new approach to quantum logic
Paper図書
Kurt Engesser, Dov M. Gabbay, Daniel LehmannCollege Publicationsc2007
Other Libraries in Japan
  • Subject HeadingQuantum logic
  • Subject Heading (ID)Quantum logic

Handbook of quantum logic and quantum structures

Handbook of quantum logic and quantum structures
Paper図書
edited by Kurt Engesser, Dov M. Gabbay, Daniel LehmannElsevier2007
Other Libraries in Japan

Reasoning in quantum theory : sharp and unsharp quantum logics : hb : e-book

Reasoning in quantum theory : sharp and unsharp quantum logics : hb : e-book
Paper図書
by M. Dalla Chiara, R. Giuntini and R. GreechieKluwer Academicc2004
Other Libraries in Japan
  • Subject HeadingQuantum logic
  • Subject Heading (ID)Quantum logic

On finitely-generated quantum logic [Microfiche ed.]

On finitely-generated quantum logic [Microfiche ed.]
Microform図書
Derek Alan SmithU.M.I.1999
Other Libraries in Japan

Quantum logic in algebraic approach pbk.

Quantum logic in algebraic approach pbk.
Paper図書
by Miklós RédeiSpringer Science+Business Mediac1998
Other Libraries in Japan
  • Subject HeadingQuantum logic Von Neumann algebras
  • Subject Heading (ID)Quantum logic Von Neumann algebras

Current research in operational quantum logic : algebras, categories, languages

Current research in operational quantum logic : algebras, categories, languages
Paper図書
edited by Bob Coecke, David Moore and Alex(ander) WilceKluwer Academicc2000
Other Libraries in Japan

Quantum logic in algebraic approach

Quantum logic in algebraic approach
Paper図書
by Miklós RédeiKluwer Academic Publishersc1998
Other Libraries in Japan

Quantum logic

Quantum logic
Paper図書
by Peter MittelstaedtD. Reidelc1978
Other Libraries in Japan
RSS