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 | •• |
126007 |
|
Schwabl F. |
Propagation of Sound at Continuous Structural Phase Transitions |
1985 | •• |
125389 |
|
Jean Pierre Boon, Patrick Grosfils, James F. Lutsko |
Propagation-Dispersion Equation |
2003 | •• |
18764 |
|
Linderberg J., Öhrn Y. |
Propagators in Quantum Chemistry |
2004 • | •• |
177073 |
|
Linderberg J., Ohrn Y. |
Propagators in Quantum Chemistry |
2004 • | •• |
180322 |
|
Linderberg J., Ohrn Y. |
Propagators in Quantum Chemistry |
2004 • | •• |
182857 |
|
Linderberg J., Ohrn Y. |
Propagators in quantum chemistry |
2004 • | •• |
184664 |
|
Linderberg J., Ohrn Y. |
Propagators in Quantum Chemistry, Second Edition |
2004 | •• |
59088 |
|
Kubota N. |
Propellants and Explosives: Thermochemical Aspects of Combustion |
2002 | •• |
61095 |
|
Kubota N. |
Propellants and Explosives: Thermochemical Aspects of Combustion |
2007 • | •• |
189638 |
|
Elsner P., Eisenreich N., Simpson R. |
Propellants, Explosives, Pyrotechnics |
n/a | •• |
75927 |
|
Ïåòåëèí Ð.Þ., Ïåòåëèí Þ.Â. |
Propellerhead Reason - ìóçûêàëüíàÿ ñòóäèÿ |
2006 | •• |