Online Library TheLib.net » Тема, жанр, tags: Mathematics,Approximation theory,Automatic theorem proving,Nonlinear operators,Proof theory
book Applied Proof Theory: Proof Interpretations and their Use in Mathematics: Kohlenbach
Applied Proof Theory: Proof Interpretations and their Use in Mathematics: Kohlenbach
pdf
00
06.02.2024
0
0
Read online
book The Little Prover
The Little Prover
pdf
00
06.02.2024
0
0
Read online
book Introduction to HOL: A theorem-proving environment for higher order logic
Introduction to HOL: A theorem-proving environment for higher order logic
djvu
00
30.01.2024
0
0
Read online
book Conditional and preferential logics: proof methods and theorem proving
Conditional and preferential logics: proof methods and theorem proving
pdf
00
30.01.2024
0
0
Read online
book Automated reasoning in higher-order logic: set comprehension and extensionality in church`s type theory
Automated reasoning in higher-order logic: set comprehension and extensionality in church`s type theory
djvu
00
30.01.2024
0
0
Read online
book The Computer Modelling of Mathematical Reasoning
The Computer Modelling of Mathematical Reasoning
pdf
00
30.01.2024
0
0
Read online
book Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
pdf
00
29.01.2024
0
0
Read online
book Logic Programming: Operational Semantics and Proof Theory
Logic Programming: Operational Semantics and Proof Theory
djvu
00
29.01.2024
0
0
Read online