Ivan M. Havel
Orcid: 0000-0001-5005-0696
According to our database1,
Ivan M. Havel
authored at least 29 papers
between 1968 and 2008.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on cts.cuni.cz
On csauthors.net:
Bibliography
2008
1993
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993
1992
Proceedings of the Advanced Topics in Artificial Intelligence, 1992
1986
Artifical Intelligence: A Lesson in Human Self-Understanding.
Proceedings of the Impacts of Artificial Intelligence: Scientific, 1986
1982
The Truth-Reaction Paradox: A Probe of Artificial Intelligence.
Proceedings of the 5th European Conference on Artificial Intelligence, 1982
1980
1979
Proceedings of the Mathematical Foundations of Computer Science 1979, 1979
1978
1977
1976
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976
1975
Proceedings of the Mathematical Foundations of Computer Science 1975, 1975
1974
Proceedings of the Mathematical Foundations of Computer Science, 1974
1973
Some Results Concerning the Situation Calculus.
Proceedings of the Mathematical Foundations of Computer Science: Proceedings of Symposium and Summer School, 1973
1972
On a Family of Deterministic Grammars (Extended Abstract).
Proceedings of the Automata, 1972
1969
1968
Kybernetika, 1968