Biblio
Export 3 results:
Author Title Type [ Year
Filters: Author is ZVI RETCHKIMAN KÖNIGSBERG [Clear All Filters]
“THE CHURCH THESIS, ITS PROOF, AND THE NOTION OF STABILITY AND STABILIZATION FOR ANALOG ALGORITHMS”, vol. 23, no. 2, p. 16, 2019.
, “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.
, “MODELLING AND VERIFICATION ANALYSIS OF THE BIOLOGICAL COOPERATIVE COMPETITION PROBLEM VIA A FIRST ORDER LOGIC APPROACH”, vol. 21, no. 3, p. 16, 2017.
,