ARITY . 1986. The Arity/Prolog Programming Language. Arity Co., Concord, MA, U.S.A.
Google Scholar
Bodor, N. 1984. Med. Res. Rev. 4: 449–468.
CrossRef
CAS
Google Scholar
Chang, C.L. and Lee, R.C.T. 1973. Logic and Mechanical Theorem Proving. Academic Press, New York, 157 p.
Google Scholar
Darvas, F., Futo, I. and Szeredi, P. 1978. Some application of theorem-proving based machine intelligence in QSAR: Automatic calculation of molecular properties and automatic interpretation of quantitative structure-activity relationships. In Proc. Symp. Chem. Struct-Biol. Act., Quant. Approaches, Franke, R. (Ed.), Akademie Verlag, Berlin, pp. 251–256.
Google Scholar
Darvas, F., Futo, I. and Szeredi, P. 1978. Logic-based program system for predicting drug interaction. Int. J. Bio-Med. Comp. 9: 259–271.
CrossRef
CAS
Google Scholar
Darvas, F. 1983. Computer-Assisted Prediction of Biological Activity. Candidate Work presented at the Hung. Acad. Sci., Budapest, 28 October, 1983, 107 p.
Google Scholar
Darvas, F. 1986. System Conception of PROSOFTDRUG. Compudrug Ltd., Budapest, 138 p.
Google Scholar
Futo, I., Darvas, F. and Szeredi, P. 1979. Theapplication of PROLOG to the development of QAand DBM systems. In Logic and Data Base, Minker, J. (Ed.), Plenum Press, New York, pp. 347–376.
Google Scholar
Graff, Z. 1986. Generation of Supergraph for PROSOFTDRUG. Master Thesis. L. Eotvos University, Faculty of Natural Science, Department of Computational Science, Budapest, May 1986.
Google Scholar
Hansch, C. and Fujita, T. 1964. Quantitative structure-activity analysis. A method for the correlation of biological activity and chemical structure. J. Amer. Chem. Soc. 86:1616–1626.
CAS
Google Scholar
Kowalski, R. 1979. Logic for Problem Solving. North-Holland, New York, 278 p.
Google Scholar
LABSWARE. 1986. Labsware Manual, Version 5.0. CompuDrug Ltd, Budapest, Hungary.
Google Scholar
MPROLOG 1985. MPROLOG Documentation, Release 2.1. Logicware Inc., Toronto, Canada, SZKI, Budapest, Hungary, 156 p.
Google Scholar
Pfeifer, S. 1979. Biotransformation von Arzneimitteln. Vol. 3, VEB Verlag Volk und Gesundheit, Berlin, p. 130.
Google Scholar
Testa, B. and Jenner, P. 1976. Drug Metabolism: Chemical and Biochemical Aspects, M. Dekker Inc., New York, 500 p.
Google Scholar
TPROLOG. 1985. TPROLOG Users Manual. SZKI, Budapest, Hungary.
Google Scholar