| 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 | •• |
| 36370 |
|
Lascar R. |
Propagation des Singularites des Solutions d'Equations Pseudo-Differentielles a Caracteristiques de Multiplicites Variables |
1981 | •• |
| 17790 |
|
Crane R.K. |
Propagation Handbook for Wireless Communication System Design |
2003 | •• |
| 84295 |
|
Robert K. Crane |
Propagation handbook for wireless communication system design |
2003 • | •• |
| 123772 |
|
Dee G. |
Propagation into an Unstable State |
1985 | •• |
| 124811 |
|
Bruno Nachtergaele, Yoshiko Ogata, Robert Sims |
Propagation of Correlations in Quantum Lattice Systems |
2006 | •• |
| 122476 |
|
Dereudre D., Roelly S. |
Propagation of Gibbsianness for Infinite-dimensional Gradient Brownian Diffusions |
2005 | •• |
| 123882 |
|
Roux S., Hansen A. |
Propagation of Order in the Dilute Antiferromagnetic Three-State Potts Model |
1989 | •• |
| 35384 |
|
Bove A., Lewis J.E. |
Propagation of Singularities for Fuchsian Operators |
1983 | •• |
| 167285 |
|
Bove A., Lewis J., Parenti C. |
Propagation of Singularities for Fuchsian Operators |
1983 | •• |
| 123533 |
|
Knickerbocker C. J., Alan C. Newell |
Propagation of Solitary Waves in Channels of Decreasing Depth |
1985 | •• |
|
|
Î ïðîåêòå