المؤلفون: Wright, Alex (AUTHOR)

المصدر: Communications of the ACM. May2013, Vol. 56 Issue 5, p17-19. 3p. 1 Color Photograph.

مصطلحات موضوعية: *QUANTUM computing, *CRYPTOGRAPHY, *COMPUTER security, INTERACTIVE proof methods, COMPUTATIONAL complexity, QUANTUM entanglement

المؤلفون: أحمد برادي

المصدر: مجلة الاجتهاد للدراسات القانونية والاقتصادية, Vol 10, Iss 2, Pp 366-388 (2021)

مصطلحات موضوعية: electronic signature, proof of electronic signature, security in electronic transactions, electronic proof methods, Law, Economic history and conditions, HC10-1085

وصف الملف: electronic resource

Relation: https://alijtihed.univ-tam.dz/wp-content/uploads/2021/05/alijtihed-mag-030-art-015.pdf; https://doaj.org/toc/2335-1039; https://doaj.org/toc/2437-0754

URL الوصول: https://doaj.org/article/6957df54afea496489c8e52f48ef6c0f

المؤلفون: Fawzi Abdullah Khaled Al-Haded

المصدر: مجلة الدراسات الاجتماعية, Vol 27, Iss 1, Pp 29-63 (2021)

مصطلحات موضوعية: mathematical proof methods, education, courses., Social Sciences

وصف الملف: electronic resource

Relation: https://journals.ust.edu/index.php/JSS/article/view/1773; https://doaj.org/toc/2312-525X; https://doaj.org/toc/2312-5268

URL الوصول: https://doaj.org/article/cf92f45aaf674ca69c9432b2a637ab82

المؤلفون: HAITNER, IFTACH¹ iftachh@cs.tau.ac.il

المصدر: SIAM Journal on Computing. 2013, Vol. 42 Issue 6, p2487-2501. 15p.

مصطلحات موضوعية: *MACHINE theory, INTERACTIVE proof methods, PROOF theory, MATHEMATICAL logic, COMPUTATIONAL complexity

المؤلفون: Dalmonte, Tiziano, Negri, S., Olivetti, Nicola, Pozzato, Gian Luca

المساهمون: Theoretical Philosophy, Mind and Matter, Faculty Common Matters (Faculty of Arts), Department of Philosophy, History and Art Studies

مصطلحات موضوعية: Artificial intelligence, Automata theory, Biomineralization, Computer circuits, Differentiation (calculus), Formal logic, Formal verification, Pathology, Robots, Semantics, Basic systems, Modal formulas, Modal logic, Neighbourhood, Proof methods, Sequent calculus, Theorem provers, Theorem proving, Philosophy

وصف الملف: application/pdf

Relation: Dalmonte , T , Negri , S , Olivetti , N & Pozzato , G L 2020 , ' Theorem proving for non-normal modal logics ' , CEUR Workshop Proceedings , vol. 2785 , pp. 17-22 . < http://ceur-ws.org/Vol-2785/paper3.pdf >; RIS: urn:FA042285DD8CC239CD502FC1D2E2FC3E; http://hdl.handle.net/10138/327396; 57a29cb7-96c2-406d-872b-ec07ba7c9103; 85099344065

الاتاحة: http://hdl.handle.net/10138/327396

المؤلفون: Nishimura, Harumichi¹ hnishimura@math.cm.is.nagoya-u.ac.jp, Yamakami, Tomoyuki¹ TomoyukiYamakami@gmail.com

المصدر: Theoretical Computer Science. Feb2015, Vol. 568, p1-18. 18p.

مصطلحات موضوعية: *INTERACTIVE proof methods, *FINITE state machines, *QUANTUM computers, *PROBABILITY theory, *COMPUTER systems

المؤلفون: Faithfull, Alexander, Bengtson, Jesper, Tassi, Enrico, Tankink, Carst

المصدر: International Journal on Software Tools for Technology Transfer; Apr2018, Vol. 20 Issue 2, p125-137, 13p

مصطلحات موضوعية: USER interfaces, PROGRAMMING languages, INTERACTIVE computer systems, INTERACTIVE proof methods, PARALLEL algorithms

المصدر: مجلة الاجتهاد للدراسات القانونية والاقتصادية, Vol 10, Iss 2, Pp 366-388 (2021)

مصطلحات موضوعية: Economic history and conditions, ComputingMilieux_LEGALASPECTSOFCOMPUTING, HC10-1085, electronic signature, proof of electronic signature, security in electronic transactions, electronic proof methods, Law

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doajarticles::984f1f761ebe2fd79e95c3fbf7b19672
https://alijtihed.univ-tam.dz/wp-content/uploads/2021/05/alijtihed-mag-030-art-015.pdf

المؤلفون: Barukčić, Ilija

مصطلحات موضوعية: Science, Non-science, Popper, Proof methods, Principle of explosion, Modus inversus, Ilija Barukčić, Barukcic, Barukčić

Relation: https://doi.org/10.5281/zenodo.3986653; https://doi.org/10.5281/zenodo.3986654; oai:zenodo.org:3986654

الاتاحة: https://doi.org/10.5281/zenodo.3986654

المؤلفون: Barukčić, Ilija

مصطلحات موضوعية: Science, Non-science, Proof methods, Modus inversus, Barukcic, Ilija Barukčić, Barukčić

Relation: https://doi.org/10.5281/zenodo.3898723; https://doi.org/10.5281/zenodo.3898724; oai:zenodo.org:3898724

الاتاحة: https://doi.org/10.5281/zenodo.3898724

المؤلفون: Savage, Neil

المصدر: Communications of the ACM; Jun2013, Vol. 56 Issue 6, p22-24, 3p, 3 Color Photographs

مصطلحات موضوعية: CRYPTOGRAPHY research, ZERO-knowledge proofs, PROBABILITY theory, INTERACTIVE proof methods

People: GOLDWASSER, Shafi, MICALI, Silvio

المؤلفون: Goldreich, Oded

المصدر: Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p237-241, 5p

مصطلحات موضوعية: INTERACTIVE proof methods, COMPUTATIONAL complexity, PROOF theory, COMPLETENESS theorem, MATHEMATICAL logic

المؤلفون: Goldreich, Oded

المصدر: Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p234-237, 4p

مصطلحات موضوعية: INTERACTIVE proof methods, POLYNOMIAL time algorithms, PROBABILISTIC generative models, MATHEMATICAL functions, POLYNOMIALS

المؤلفون: Goldreich, Oded

المصدر: Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p228-231, 4p

مصطلحات موضوعية: INTERACTIVE proof methods, PROOF theory, ARITHMETIC, POLYNOMIALS, BOOLEAN functions

المؤلفون: Goldreich, Oded

المصدر: Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p220-227, 8p

مصطلحات موضوعية: INTERACTIVE proof methods, MATHEMATICS theorems, INTEGRATED circuit verification, PROBABILISTIC number theory, PROOF theory

المؤلفون: Goldreich, Oded

المصدر: Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p216-220, 5p

مصطلحات موضوعية: INTERACTIVE proof methods, PROOF theory, POLYNOMIALS, REED-Muller codes, LINEAR time invariant systems

المؤلفون: Goldreich, Oded

المصدر: Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p207-211, 5p

مصطلحات موضوعية: INTERACTIVE proof methods, POLYNOMIALS, LOGIC circuits, POLYNOMIAL time algorithms, PROOF theory

المؤلفون: Goldreich, Oded

المصدر: Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p204-207, 4p

مصطلحات موضوعية: POLYNOMIALS, INTERACTIVE proof methods, MATHEMATICAL functions, LOGIC circuits, ALGORITHMS

المؤلفون: Goldreich, Oded

المصدر: Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p199-204, 6p

مصطلحات موضوعية: INTERACTIVE proof methods, FINITE fields, LOGIC circuits, POLYNOMIALS, PROOF theory

المؤلفون: Goldreich, Oded

المصدر: Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p186-196, 11p

مصطلحات موضوعية: INTERACTIVE proof methods, GRAPHIC methods, GEOMETRIC vertices, POLYNOMIALS, PROOF theory