We will define the notions of abstract theorem-proving graph, abstract theorem-proving problem g and search strategy E for g. These concepts generalize the usual tree (or graph) searching problem and admit Hart, Nilsson and Raphael (1968) and Pohl (1969) theories of heuristic search. In particular the admissibility and optimality theorems of Hart, Nilsson and Raphael generalize for the classes ...

14. Van Heertum RL. Clinical diagnosis: major depressive disorder. In: Van Heertum RL. Tikofsky RS, eds. Cerebral SPECT imaging, 2nd ed. New York: Raven Press; 1995:194. 15. Pohl P, Vogel G, Fill H, Rössler H. Zangerle R. Gerstenbrand F. Single-photon emission computed tomography in AIDS dementia complex. J NucÃ-Med I988;29: 1382-1386. 16. Costa DC, Ell P, Burns A, Philpot M, Levy R. CBF tomog...

In vitro multiplication is an important tissue culture technique that capable of efficiently producing seedlings at any scale. It a propagation method based on the aseptic small propagules in suitable medium to enable plant regeneration. Multiplication experiments conducted set protocols adapted wild Manihot species have used modified mineral salts and MS vitamins as basic medium. Here, 25 trea...

T. Bretz, M. Backes, D. Neise, W. Rhode, K. Mannheim, D. Dorner, D. Hadasch, J. K. Becker, A. Biland, I. Braun, I. Britvitch, S. C. Commichau, M. Rissi, H. von Gunten, D. Hildebrand, D. Kranich, E. Lorenz, W. Lustermann, F. Pauss, M. Pohl, D. Renker, U. Röser, U. Straumann f , G. Viertel Universität Würzburg, 97074 Würzburg, Germany Technische Universität Dortmund, 44221 Dortmund, Germany ETH Z...

– This essay was written in response to an invitation by the editors of NSS issued after the author had reviewed the paper entitled " Methodological challenges of trans-disciplinary research " submitted by Christian Pohl and Gertrude Hirsch-Hadorn (see Pohl and Hirsch Hadorn, 2008). The essay provides an accounting for the transformation in my emotioning as I read the submitted paper by introdu...