| Publication | Date of Publication | Type |
|---|
Cognitive reasoning. A formal approach
Cognitive Technologies | 2010-01-14 | Paper |
| scientific article; zbMATH DE number 1870530 (Why is no real title available?) | 2003-02-18 | Paper |
| scientific article; zbMATH DE number 51768 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 44850 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 4049122 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3965413 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3837417 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3848601 (Why is no real title available?) | 1983-01-01 | Paper |
A theory of interactive programming
Acta Informatica | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3768961 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3782362 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3746453 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3757750 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3705898 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3705899 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3692622 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3737062 (Why is no real title available?) | 1980-01-01 | Paper |
Model theoretical investigation of theorem proving methods
Notre Dame Journal of Formal Logic | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3609104 (Why is no real title available?) | 1978-01-01 | Paper |
On universal algebraic constructions of logics
Studia Logica | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3581387 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3522952 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3546580 (Why is no real title available?) | 1976-01-01 | Paper |
On the distribution of the maximum of the sequences of sums of independent random variables
The Annals of Probability | 1975-01-01 | Paper |
Asymptotic behaviour of stochastic processes modelling an ordinary Poisson process
Periodica Mathematica Hungarica | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3679774 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3462922 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3474951 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3516400 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3523391 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3591787 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3604888 (Why is no real title available?) | 1975-01-01 | Paper |
On the busy period of discrete-time queues
Journal of Applied Probability | 1974-01-01 | Paper |
Sufficient and Necessary Condition for the Completeness of a Calculus
Mathematical Logic Quarterly | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3487017 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3495612 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3504221 (Why is no real title available?) | 1974-01-01 | Paper |
On a construction of ordinary Poisson processes and their modelling
Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3408909 (Why is no real title available?) | 1971-01-01 | Paper |
Markov chains governed by complicated renewal processes
Advances in Applied Probability | 1970-01-01 | Paper |
