Preview
Unable to display preview. Download preview PDF.
References
P. Graham, Profit Probability Analysis of Research and Development Expenditures, The Journal of Industrial Engineering 16 (1965) 186–191.
D. T. Phillips and A. Garrowia-Diaz, Fundamentals of Network Analysis, Prentice-Hall, New York, 1981.
M. E. Szabo, Algebra of Proofs, North-Holland Publishing Company, Amsterdam, 1978.
M. E. Szabo, Stochastic Performance Measures for Rule-Based Expert Systems, Information Sciences. In Press.
M. E. Szabo, On the Stochastic Complexity of Loops in Rule-Based Expert Systems, Information Sciences. In Press.
M. E. Szabo, Mason Measures for Proofs. In Preparation.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Szabo, M.E. (1991). On the tracking of loops in automated deductions. In: Börger, E., Kleine Büning, H., Richter, M.M., Schönfeld, W. (eds) Computer Science Logic. CSL 1990. Lecture Notes in Computer Science, vol 533. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54487-9_71
Download citation
DOI: https://doi.org/10.1007/3-540-54487-9_71
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54487-6
Online ISBN: 978-3-540-38401-4
eBook Packages: Springer Book Archive