19054 |
|
Pereira F.C.N., Shieber S.M. |
Prolog and Natural-Language Analysis |
2002 • | •• |
165992 |
|
Pereira F., Shieber S. |
Prolog and Natural-Language Analysis (Center for the Study of Language and Information Publication Lecture Notes) |
2002 | •• |
39192 |
|
Hein J.L. |
Prolog Experiments in Discrete Mathematics, Logic, and Computability |
2005 | •• |
171725 |
|
Hein J. |
Prolog experiments in discrete mathematics, logic, and computability |
2005 | •• |
132851 |
|
Ivan Bratko |
Prolog Programming for Artificial Intelligence |
2000 • | •• |
153803 |
|
Bratko I. |
Prolog programming for artificial intelligence |
1986 | •• |
195168 |
|
I. Bratko |
Prolog programming for artificial intelligence |
2001 • | •• |
134315 |
|
Covington M.A., Nute D., Vellino A. |
Prolog programming in depth |
1996 | •• |
189245 |
|
Covington M., Nute D., Vellino A. |
Prolog programming in depth |
1997 | •• |
111980 |
|
Brna P. |
Prolog Programming. A First Course |
2001 | •• |
130862 |
|
Foa E.B., Chrestman K.R., Gilboa-Schechtman E. |
Prolonged Exposure Therapy for Adolescents with PTSD. Emotional Processing of Traumatic Experiences |
2008 | •• |
131767 |
|
McGrayne S.B. |
Prometheans in the Lab: Chemistry and the Making of the Modern World |
2001 | •• |
177568 |
|
McGrayne S. |
Prometheans in the Lab: Chemistry and the Making of the Modern World |
2001 | •• |
74076 |
|
Schünke M., Schulte E. |
Prometheus - Lernatlas der Anatomie |
2007 • | •• |
142863 |
|
Fisher III W.W. |
Promises to Keep: Technology, Law, and the Future of Entertainment |
2004 | •• |
172767 |
|
0 |
Promoting Business and Technology Incubation for Improved Competitiveness of Small and Medium-Sized Industries through Application of Modern and Efficient Technologies |
2004 | •• |
201692 |
|
Papageridis K.N., Charisiou N.D., Douvartzides S. |
Promoting effect of CaO-MgO mixed oxide on Ni/g-Al2O3 catalyst for selective catalytic deoxygenation of palm oil |
2020 | •• |
132523 |
|
Helal A. |
Promoting Independence for Older Persons with Disabilities |
2006 | •• |
196103 |
|
|
Promoting Innovation: 2002 Assessment of the Partnership for Advancing Technology in Housing |
2003 | •• |
175014 |
|
Edwards P., Tsouros A. |
Promoting Physical Activity and Active Living in Urban Environments.The Role of Local Governments. The Solid Facts |
2006 | •• |
181393 |
|
Leonard P. |
Promoting Welfare?: Government Information Policy and Social Citizenship |
2003 | •• |
11070 |
|
Fletcher C. |
Pronunciation Dictionary |
1990 | •• |
21501 |
|
Valiaho H. |
Pronunciation of mathematical expressions |
1999 | •• |
33320 |
|
Bornat R. |
Proof and Disproof in Formal Logic: An Introduction for Programmers |
2005 | •• |
189286 |
|
Bornat R. |
Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic) |
2005 | •• |
35028 |
|
Detlefsen M. (Ed) |
Proof and Knowledge in Mathematics |
1992 | •• |
135447 |
|
Gold B., Simons R. |
Proof and Other Dilemmas: Mathematics and Philosophy |
2008 | •• |
162939 |
|
Gold B., Simons R. |
Proof and Other Dilemmas: Mathematics and Philosophy |
2008 | •• |
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 | •• |