- Full text PDF available (1)
- This year (0)
- Last 5 years (0)
- Last 10 years (3)
Journals and Conferences
The experiments have been carried out on intact and hippocampectomized white rats. In the first stage of these experiment a two-entrance communicating chamber behind which a feeding trough was placed the animals were conditioned to food- processing reaction to visual discrimination. The two doors of this chamber were illuminated with different intensity. In… (More)
Program verification arguments are considered together with structural and transfinite induction methods. The nature of an abstract program for the functional programming language LISP and its mechanical verification problems are discussed. © 2009 Bull. Georg. Natl. Acad. Sci.
The functional programs are the recursive functions. Therefore, the paper primarily discuss all the forms having the recursive function. For the data structures, such as the lists, the following forms are available: the parallel recursion, inter-recursion, and the recursion of high level. The paper has exposed each form on the LISP language, being the… (More)