![]() | ![]() |
1991 | ||
---|---|---|
5 | J. M. Barzdin, G. J. Barzdin: Rapid Constructions of Algebraic Axioms From Samples. Theor. Comput. Sci. 90(1): 199-208 (1991) | |
1983 | ||
4 | J. M. Barzdin: Some Rules of Inductive Inference and their Use for Program Synthesis. IFIP Congress 1983: 333-338 | |
1979 | ||
3 | J. M. Barzdin: On inductive synthesis of programs. Algorithms in Modern Mathematics and Computer Science 1979: 235-254 | |
2 | J. M. Barzdin: The Problem of Reachability and Verification of Programs. MFCS 1979: 13-25 | |
1971 | ||
1 | J. M. Barzdin: Prognostication of Automata and Functions. IFIP Congress (1) 1971: 81-84 |
1 | G. J. Barzdin | [5] |