149350 |
|
Daoud A., Franklin J. |
Proof in Mathematics: An Introduction |
1999 • | •• |
43340 |
|
Birkhoff G.D. |
Proof of a Recurrence Theorem for Strongly Transitive Systems |
1931 | •• |
40472 |
|
Garrett P. |
Proof of a simple case of the Siegel-Weil formula |
2005 | •• |
44193 |
|
Lorentz H.A. |
Proof of a Theorem Due to Heaviside |
1922 | •• |
122415 |
|
Bobylev A.V., Cercignani C., Toscani G. |
Proof of an Asymptotic Property of Self-Similar Solutions of the Boltzmann Equation for Granular Materials |
2003 | •• |
125598 |
|
Markus Kreer, Oliver Penrose |
Proof of Dynamical Scaling in Smoluchowski's Coagulation Equation with Constant Kernel |
1993 | •• |
108058 |
|
McGinnis M. |
Proof of Fermat's theorem |
1913 | •• |
43339 |
|
Hopf E. |
Proof of Gibbs Hypothesis on the Tendency toward Statistical Equilibrium |
1932 | •• |
119720 |
|
Nagle J.F. |
Proof of Gridloek in a Polymer Model |
1985 | •• |
121420 |
|
van Enter A. |
Proof of Straley's Argument for Bootstrap Percolation |
1987 | •• |
43341 |
|
Birkhoff G.D. |
Proof of the Ergodic Theorem |
1931 | •• |
124798 |
|
Dickman R., Schieve W.C. |
Proof of the Existence of the Cluster Free Energy |
1984 | •• |
43342 |
|
Neumann J.V. |
Proof of the Quasi-Ergodic Hypothesis |
1931 | •• |
192812 |
|
Spies K., Schwichtenberg H. |
Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences (Nato Science) |
2006 | •• |
20429 |
|
Schwichtenberg H. |
Proof Theory |
1994 | •• |
32957 |
|
Takeuti G. |
Proof Theory |
1987 • | •• |
32958 |
|
Schuette K., Crossley J.N. |
Proof Theory |
1977 | •• |
33065 |
|
Pohlers W. |
Proof Theory |
1996 | •• |
138675 |
|
Schutte K., Crossley J.N. |
Proof theory |
1977 | •• |
174258 |
|
Takeuti G. |
Proof theory |
1987 • | •• |
33063 |
|
Scarpellini B. |
Proof Theory and Intuitionistic Systems |
1971 | •• |
167302 |
|
Kahle R., Schroeder-Heister P., Stark R. |
Proof Theory in Computer Science, PTCS 2001 |
2001 | •• |
33064 |
|
Kahle R., Schroeder-Heister P. |
Proof Theory in Computer Science: International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001 Proceedings |
2001 | •• |
175005 |
|
Pohlers W. |
Proof Theory. An Introduction |
1989 | •• |
66338 |
|
Pohlers W. |
Proof Theory: The First Step into Impredicativity |
2009 | •• |
35099 |
|
Detlefsen M. (Ed) |
Proof, Logic and Formalization |
1992 | •• |
33350 |
|
Dosen K., Petric Z. |
Proof-Net Categories |
2005 | •• |
33092 |
|
Dosen K., Petric Z. |
Proof-Theoretical Coherence |
2007 | •• |
200550 |
|
|
Proofiness. The dark arts of mathematical deception |
2010 | •• |
135995 |
|
Dowek G. |
Proofs and algorithms: An introduction to logic and computability |
2011 | •• |
139317 |
|
Dowek G. |
Proofs and algorithms: An introduction to logic and computability |
2011 | •• |
134922 |
|
Bloch E.D. |
Proofs and fundamentals: A first course in abstract mathematics |
2000 | •• |
142822 |
|
Bloch E. |
Proofs and Fundamentals: A First Course in Abstract Mathematics |
2011 • | •• |
159278 |
|
Bloch E. |
Proofs and Fundamentals: A First Course in Abstract Mathematics |
2000 | •• |
181520 |
|
Bloch E. |
Proofs and Fundamentals: A First Course in Abstract Mathematics |
2000 | •• |
160073 |
|
Bloch E. |
Proofs and Fundamentals: A First Course in Abstract Mathematics, Second Edition |
2011 • | •• |
127078 |
|
Lakatos I., Worrall J. (ed.), Zahar E. (ed.) |
Proofs and refutations: the logic of mathematical discovery |
1976 | •• |
129689 |
|
Lakatos I., Worrall J., Zahar E. |
Proofs and refutations: the logic of mathematical discovery |
1977 | •• |
548 |
|
Girard J.-Y., Taylor P., Lafont Y. |
Proofs and Types |
1989 | •• |
15887 |
|
Aigner M., Ziegler G.M. |
Proofs from the Book |
2003 • | •• |
184085 |
|
Benjamin A., Quinn J. |
Proofs that really count |
2003 | •• |
60826 |
|
Benjamin A.T., Quinn J. |
Proofs That Really Count The Art of Combinatorial Proof |
2003 | •• |
184515 |
|
Benjamin A., Quinn J. |
Proofs that really count: the art of combinatorial proof |
2003 | •• |
212588 |
|
Mendoza L. |
Propagación clonal: Embriogénesis somática y enraizamiento de estaquillas, dos aliados para la producción de cacao en San Martín |
2022 | •• |
134009 |
|
Macdonald S. |
Propaganda and Information Warfare in the Twenty-First Century: Altered Images and Deception Operations (Contemporary Security Studies) |
2007 | •• |
209509 |
|
Liu H. |
Propaganda Ideas, Discourses and Its Legitimization |
2020 | •• |
120574 |
|
Bastien Fernandez |
Propagating Fronts in a Bistable Coupled Map Lattice |
1995 | •• |
122109 |
|
Grosfils P., Boon J.P., Cohen E.G.D. |
Propagation and Organization in Lattice Random Media |
1999 | •• |
125706 |
|
Buttiker M., Thomas H. |
Propagation and Stability of Kinks in Driven and Damped Nonlinear Klein-Gordon Chains |
1989 | •• |
120943 |
|
Webman I. |
Propagation and Trapping of Excitations on Percolation Clusters |
1984 | •• |