Jump to main content

yr 〜
yr

Search results 4,110

世界は幾何学で作られている

世界は幾何学で作られている
Paper図書
アミーア・アレクサンダー 著, 松浦俊輔 訳柏書房2020.9<MA91-M17>
National Diet LibraryOther Libraries in Japan
  • Note (General)原タイトル: PROOF!
  • Additional TitlePROOF!

Proof

Proof
Recording Media録音資料
NoGoDKing Record2017.9<YMC11-L40026>
National Diet Library
  • Contents...蜃気楼(5)ヘンリエッタ(6)proof(7)矜持と共に(8)forever(9)煽動(10)Mis...

Proof

Proof
Recording Media録音資料
P.rockKIRAKIRA RECORD2011.1<YMC11-J38875>
National Diet Library
  • Contents(1)Proof(2)獣(3)零れゆく

Proof

Proof
Recording Media録音資料
Rutile Quartzキラキラレコード2010.5<YMC11-J38924>
National Diet Library

Proof 2版 (Gurren-lagann fan book kamisimo novel only ; #2)

Proof 2版 (Gurren-lagann fan book kamisimo novel only ; #2)
Paper図書
Tashikawa Miki [著]ヘッポコドリル2007.11<Y85-R256>
National Diet Library

20th proof : 北川莉央写真集

20th proof : 北川莉央写真集
Paper図書
下田直樹 撮影ワニブックス2024.10<Y94-R6426>
National Diet LibraryOther Libraries in Japan

The fourth industrial revolution and the labour market : future-proofing work in the innovation economy (Routledge studies in the economics of innovation)

The fourth industrial revolution and the labour market : future-proofing work in the innovation economy (Routledge studies in the economics of innovation)
Paper図書
Jon-Arild JohannessenRoutledge2024<EL111-D3>
National Diet LibraryOther Libraries in Japan
  • Summary, etc....ll both future-proof their jobs in the labour mark...

Proof : link!like!school idol projectラブライブ!

Proof : link!like!school idol projectラブライブ!
Recording Media録音資料
DOLLCHESTRAバンダイナムコミュージックライブ2024.9<YMC11-R4696>
National Diet Library
  • Contents(1)Proof(2)Sparkly Spot(104期NEW Ver.)(3)Proof(Off Vocal)(4)Sparkly Spot(104...

The mordell conjecture : a complete proof from Diophantine geometry (Cambridge tracts in mathematics)

The mordell conjecture : a complete proof from Diophantine geometry (Cambridge tracts in mathematics)
Paper図書
Hideaki Ikoma, Shu Kawaguchi, Atsushi MoriwakiCambridge University Press2022<MA95-D12>
National Diet Library
  • Summary, etc....d and detailed proof of the Mordell......minates in the proof of the Mordell conjecture. Ba...

On the Power of Quantum Proofs in Distributed Computing

On the Power of Quantum Proofs in Distributed Computing
Digital博士論文障害者向け資料あり
宮本, 昌幸2024-03-25
National Diet Library

Proof of magnetic field

Proof of magnetic field
Recording Media録音資料
all produced by 16FLIPP-Vine[2023.2]<YMA-M941>
National Diet Library

Peter Schroeder-Heister on Proof-Theoretic Semantics

Peter Schroeder-Heister on Proof-Theoretic Semantics
Digital電子書籍・電子雑誌図書
Springer2024
Available onlineNational Diet Library

Handbook of cell and gene therapy : from proof-of-concept through manufacturing to commercialization First edition

Handbook of cell and gene therapy : from proof-of-concept through manufacturing to commercialization First edition
Paper図書
edited by Hazel Aranha, Humberto Vega-MercadoCRC Press2023<SC211-D10>
National Diet Library

Proof of magnetic field

Proof of magnetic field
Recording Media録音資料
MONJUP-Vine2021.12<YMC11-M36253>
National Diet Library

Proof-theoretic study of distributed knowledge

Proof-theoretic study of distributed knowledge
Digital博士論文障害者向け資料あり
村井, 涼村井, 涼2022
Available onlineNational Diet LibraryOther Libraries in Japan

ROBOT-PROOF : AI時代の大学教育

ROBOT-PROOF : AI時代の大学教育
Paper図書
ジョセフ・E・アウン 著, 杉森公一, 西山宣昭, 中野正俊, 河内真美, 井上咲希, 渡辺達雄 共訳森北出版2020.1<FD35-M51>
National Diet LibraryOther Libraries in Japan
  • Note (General)原タイトル: ROBOT-PROOF
  • Additional TitleROBOT-PROOF

Cut-elimination and Completeness in Cyclic Proof Systems(循環証明体系におけるカット除去と完全性)

Cut-elimination and Completeness in Cyclic Proof Systems(循環証明体系におけるカット除去と完全性)
Digital博士論文障害者向け資料あり
織田, 幸弘, ODA, Yukihiro2024-03-22
National Diet Library
  • Alternative TitleCut-elimination and Completeness in Cyclic Proof Systems
  • Alternative TitleCut-elimination and Completeness in Cyclic Proof Systems

Future-Proofing Adult Learning in Berlin, Germany

Future-Proofing Adult Learning in Berlin, Germany
Digital電子書籍・電子雑誌図書
2022
Available onlineNational Diet Library

Proof theory and algebra in logic (Short textbooks in logic)

Proof theory and algebra in logic (Short textbooks in logic)
Paper図書
Hiroakira OnoSpringer[2019]<MA41-D5>
National Diet LibraryOther Libraries in Japan
  • ContentsPart I: Proof Theory. Sequen......equent systems Proof-theoretic analysis of logical...
  • Subject HeadingProof theory Algebraic logic

Ordinal analysis with an introduction to proof theory (Logic in Asia: Studia logica library)

Ordinal analysis with an introduction to proof theory (Logic in Asia: Studia logica library)
Paper図書
Toshiyasu AraiSpringer[2020]<MA21-D26>
National Diet Library
  • Summary, etc....alysis, and to proof theory. It mai......earch topic in proof theory that is......c materials in proof theory of firs......esults and new proofs of known ones. Primarily int...
  • Subject HeadingProof theory Logic, Symbolic and mathematical Logic, Symbolic and mathematical. Proof theory.
RSS