The implementation of self-explanation strategy to develop understanding proof in geometry by Samsul Maarif, Fitri Alyani, Trisna Roy Pradipta

Subjects: Get full text

„Beweisgrund“ by Robert Theis

Subjects: “…Proving Reason…”
Get full text

Tracing proof schemes: some patterns and newperspectives by Yasemin Yılmaz Akkurt, Soner Durmuş

Subjects: Get full text

ISSUES OF THE COMPLETENESS OF THE SUBJECT OF CIRCUMSTANCES IN PROOF IN THE THEORY AND PRACTICE OF THE CRIMINAL PROCEDURE by D. N. Rogozhkin

Subjects: Get full text

Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root by Vassil Todorov, Safouan Taha, Frederic Boulanger, Armando Hernandez

Subjects: Get full text

METHODOLOGICAL BASES OF USING OF SPECIAL KNOWLEDGE IN CIVIL AND ARBITRATION PROCEEDINGS by M. V. Zhizhina

Subjects: Get full text

On the calculus of positively constructed formulas for authomated theorem proving by A. V. Davydov, A. A. Larionov, E. A. Cherkashin

Subjects: “…automated theorem proving…”
Get full text

A Recursive Inclusion Checker for Recursively Defined Subtypes by Hans De Nivelle

Subjects: Get full text

Explaining the undecidability of first-order logic by Timm Lampert, Anderson Nakano

Subjects: Get full text

IDENTIFICATION AUTOMATION OF THE DISTRIBUTION LAWS ON THE BASIS OF APPROXIMATE ANALYSIS OF THE EXPERIMENTAL DATA by T. V. VASILYEVA

Subjects: Get full text

High School Students’ Performances on Proof Comprehension Tests by Burcak Boz Yaman Boz Yaman, İşıkhan Uğurel, Bahattin İnam

Subjects: Get full text

Some Aspects of the Evidentiary Process during the Arbitration of Civil Cases by L. V. Sapeiko

Subjects: Get full text

Legitimacy of Resumption of jurisdiction in conclusion litigation with factitious defendant’s oath, under jurisprudence of Islamic religions and the Written Law of Iran by Mohammad Ali Raghebi, Mohammadtagi Moradi

Subjects: Get full text

New Andrews–Curtis trivializations for Miller–Schupp group presentations by Alexei Lisitsa

Subjects: Get full text

EXPERTISE IN THE ADMINISTRATIVE JUDICIARY OF UKRAINE by Olena S. Lunina, Veronika N. Shkabaro

Subjects: Get full text

On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems by Artem Davydov, Aleksandr A. Larionov, Nadezhda V. Nagul

Subjects: Get full text

A comparative evaluation of GIS spatial analysis tools for prioritizing natural and hybrid shoreline solutions by Afsheen Sadaf, Julie Bruck, Mojtaba Tahmasebi

Subjects: Get full text

Minimum Critical Test Scenario Set Selection for Autonomous Vehicles Prior to First Deployment and Public Road Testing by Balint Toth, Zsolt Szalay

Subjects: Get full text

A Review on Mechanical Proving and Formalization of Mathematical Theorems by Si Chen, Wensheng Yu, Guowei Dou, Qimeng Zhang

Subjects: Get full text

ELECTRONIC (DIGITAL) EVIDENCE COLLECTION IN ECONOMIC CRIME INVESTIGATIONS by Artem Kovalenko, Volodymyr Kovalenko, Yehor Nazymko

Subjects: Get full text