본문

  1. Home
50 Results:SS:PROOF 0.109 sec.
RSS 
Multilingual
 Расширенный поиск
 Новый поиск книги прибытия
1
Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs
Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs
Poulsen, Seth. | University of Illinois at Urbana-Champaign | 2023
Preview
Местоположение
2
On Proofs and Translation
On Proofs and Translation
Paradise, Orr. | University of California, Berkeley | 2025
Preview
Местоположение
3
A New Paradigm for Efficient and Scalable Zero-Knowledge Proofs
A New Paradigm for Efficient and Scalable Zero-Knowledge Proofs
Weng, Chenkai. | Northwestern University | 2024
Preview
Местоположение
4
Efficient Reconstruction and Proofreading of Neural Circuits
Efficient Reconstruction and Proofreading of Neural Circuits
Gonda, Felix Emmanuel. | Harvard University | 2021
Preview
Местоположение
5
Hybrid-Neural Synthesis of Machine Checkable Software Correctness Proofs
Hybrid-Neural Synthesis of Machine Checkable Software Correctness Proofs
Sanchez-Stern, Alex. | University of California, San Diego | 2021
Preview
Местоположение
6
Proof Repair
Proof Repair
Ringer, Talia. | University of Washington | 2021
Preview
Местоположение
7
New proofs for the existence of God : contributions of contemporary physics and philosophy
New proofs for the existence of God : contributions of contemporary physics and philosophy
Spitzer, Robert J. | William B Eerdmans Pub | 2010
212.1-S761n
Preview
Местоположение
8
God, reason, and theistic proofs
God, reason, and theistic proofs
Davis, Stephen T. | WB Eerdmans | 1997
212.1-D264g
Preview
Местоположение
9
God and the burden of proof : Plantinga, Swinburne, and the analytic defense of theism
God and the burden of proof : Plantinga, Swinburne, and the analytic defense of theism
Parsons, Keith M. | Prometheus Books | 1989
212.1-P268g
Preview
Местоположение
10
Quantum Complexity of Physically Inspired Problems and Computational Resources
Quantum Complexity of Physically Inspired Problems and Computational Resources
Yirka, Justin | The University of Texas at Austin | 2025
Preview
Местоположение
처음12345이후마지막