Biblio

Export 3 results:
Author Title Type [ Year(Asc)]
Filters: Author is ZVI RETCHKIMAN KÖNIGSBERG  [Clear All Filters]
2019
Z. V. I. R. E. T. C. H. K. I. M. A. N. KÖNIGSBERG and DERSHOWITZ, N. A. C. H. U. M., “THE CHURCH THESIS, ITS PROOF, AND THE NOTION OF STABILITY AND STABILIZATION FOR ANALOG ALGORITHMS”, vol. 23, no. 2, p. 16, 2019.
2018
Z. V. I. R. E. T. C. H. K. I. M. A. N. KÖNIGSBERG, “MODELLING AND VERIFICATION ANALYSIS OF THE BIOLOGICAL INTERACTION BETWEEN SPECIES VIA A MODAL LOGIC APPROACH”, Communications in Applied Analysis, vol. 22, no. 3, p. 14, 2018.
2017
Z. V. I. R. E. T. C. H. K. I. M. A. N. KÖNIGSBERG, “MODELLING AND VERIFICATION ANALYSIS OF THE BIOLOGICAL COOPERATIVE COMPETITION PROBLEM VIA A FIRST ORDER LOGIC APPROACH”, vol. 21, no. 3, p. 16, 2017.