Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Loveland, Donald W."'
Autor:
Loveland, Donald W.
Publikováno v:
Journal of the ACM; Apr1968, Vol. 15 Issue 2, p236-251, 16p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Loveland, Donald W.
Computer Science Department
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::14da76ed369e3c3350caa7568cbe582c
Autor:
Loveland, Donald W.
Publikováno v:
AI Magazine; Vol 20, No 1: Spring 1999; 77
In this article, the body of a report on automated deduction is presented that notes some significant achievements and takes a studied look at the future of the field.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=issn07384602::1fefa6a26f1da1337b5085ca6ca28fb3
http://aaai.org/ojs/index.php/aimagazine/article/view/1442
http://aaai.org/ojs/index.php/aimagazine/article/view/1442
Autor:
Loveland, Donald W.
Publikováno v:
AI Magazine. Spring99, Vol. 20 Issue 1, p77. 22p. 1 Black and White Photograph, 5 Charts.
Autor:
Loveland, Donald W.
Publikováno v:
Journal of Automated Reasoning; March 1991, Vol. 7 Issue: 1 p1-26, 26p