অনুসন্ধান ফলাফলগুলি
প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
প্রস্তাবিত প্রসঙ্গ আপনার সার্চের মধ্যে
- Proof theory
- Logic, Symbolic and mathematical 4
- Automatic theorem proving 1
- Bifurcation theory 1
- Combinatorial analysis 1
- Computational complexity 1
- Curry-Howard isomorphism 1
- Differentiable dynamical systems 1
- Differential equations, Linear 1
- Famous problems 1
- Forms, Quadratic 1
- Generation of geometric forms 1
- Geometrical constructions 1
- Geometrical drawing 1
- Geometry 1
- Geometry, Algebraic 1
- Geometry, Plane 1
- Lambda calculus 1
- Mathematical notation 1
- Mathematics 1
- Modality (Logic) 1
- Parallel programming (Computer science) 1
- Visualization 1
-
1
Proof, logic, and formalization
প্রকাশিত 1992An electronic book accessible through the World Wide Web; click to view
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ -
2
Logic for concurrency and synchronisation
প্রকাশিত 2003An electronic book accessible through the World Wide Web; click to view
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ -
3
Lectures on the Curry-Howard isomorphism
প্রকাশিত 2006An electronic book accessible through the World Wide Web; click to view
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ -
4
The nuts and bolts of proofs
প্রকাশিত 2005An electronic book accessible through the World Wide Web; click to view
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ -
5
Memoirs of a proof theorist Gödel and other logicians /
প্রকাশিত 2003An electronic book accessible through the World Wide Web; click to view
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ -
6
Tracking reason proof, consequence, and truth /
প্রকাশিত 2006An electronic book accessible through the World Wide Web; click to view
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ -
7
Conditional and preferential logics proof methods and theorem proving /
প্রকাশিত 2010An electronic book accessible through the World Wide Web; click to view
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ -
8
Perspectives in logic logical foundations of proof complexity /
প্রকাশিত 2010An electronic book accessible through the World Wide Web; click to view
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ -
9
2-D quadratic maps and 3-D ODE systems a rigorous approach /
প্রকাশিত 2010An electronic book accessible through the World Wide Web; click to view
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ -
10
Charming proofs a journey into elegant mathematics /
প্রকাশিত 2010An electronic book accessible through the World Wide Web; click to view
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ -
11
Icons of mathematics an exploration of twenty key images /
প্রকাশিত 2011An electronic book accessible through the World Wide Web; click to view
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ -
12
Ways of proof theory
প্রকাশিত 2010An electronic book accessible through the World Wide Web; click to view
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ -
13
The elementary theory of groups : a guide through the proofs of the Tarski conjectures /
প্রকাশিত 2014An electronic book accessible through the World Wide Web; click to view
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ -
14
Concepts of proof in mathematics, philosophy, and computer science /
প্রকাশিত 2016An electronic book accessible through the World Wide Web; click to view
বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ