Zobrazeno 1 - 10 of 37 pro vyhledávání: '"Henschen, L."'
1
Periodical
A Theorem-Proving Language for Experimentation.
Autor: Standish, T. A., Henschen, L.1, Overbeek, Ross2, Wos, L.3
Publikováno v: Communications of the ACM. Jun74, Vol. 17 Issue 6, p308-314. 7p. 2 Diagrams.
Zobrazit plný text záznamu
2
Akademický článek
Theorem Proving by Covering Expressions.
Autor: Henschen, L. J.
Publikováno v: Journal of the ACM; Jul1979, Vol. 26 Issue 3, p385-400, 16p
Zobrazit plný text záznamu
3
Akademický článek
Unit Refutations and Horn Sets.
Autor: Henschen, L., Wos, L.
Publikováno v: Journal of the ACM; Oct1974, Vol. 21 Issue 4, p590-605, 16p
Zobrazit plný text záznamu
4
Conference
An efficient transitive closure algorithm for distributed databases.
Autor: Toroslu, I.H., Henschen, L.
Publikováno v: Proceedings of ICCI'93: 5th International Conference on Computing & Information; 1993, p185-189, 5p
Zobrazit plný text záznamu
5
Conference
A graph proof procedure for real time logic.
Autor: Jung-Hong Kao, Henschen, L.
Publikováno v: Proceedings Fourth International Conference on Software Engineering & Knowledge Engineering; 1992, p300-306, 7p
Zobrazit plný text záznamu
6
Akademický článek
A unified framework for race analysis of asynchronous networks.
Autor: McCune, W W (AUTHOR), Henschen, L J (AUTHOR)
Publikováno v: Journal of the Association for Computing Machinery. Jan1989, Vol. 36 Issue 1, p46-68. 23p.
Zobrazit plný text záznamu
7
Akademický článek
A Top-down Inference Procedure for Template Dependencies.
Autor: Henschen, L. J., Weems, B. P.
Publikováno v: Computer Journal; 1988, Vol. 31 Issue 1, p51-55, 5p
Zobrazit plný text záznamu
8
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
10
Periodical
An efficient database transitive closure algorithm
Autor: Toroslu, I. H., Qadah, G. Z., Henschen, L.
Publikováno v: Applied Intelligence; May 1994, Vol. 4 Issue: 2 p205-218, 14p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje