Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Brown, Mariann"'
Publikováno v:
SAE Transactions, 1991 Jan 01. 100, 1157-1164.
Externí odkaz:
https://www.jstor.org/stable/44547674
Publikováno v:
SAE Transactions, 1991 Jan 01. 100, 631-645.
Externí odkaz:
https://www.jstor.org/stable/44547632
Publikováno v:
SAE Transactions, 1991 Jan 01. 100, 1544-1552.
Externí odkaz:
https://www.jstor.org/stable/44548011
Autor:
Lee, M. Gene, Brown, Mariann F.
Publikováno v:
SAE Transactions, 1990 Jan 01. 99, 810-816.
Externí odkaz:
https://www.jstor.org/stable/44472542
Autor:
Brown, Mariann F., Schentrup, Susan M.
Publikováno v:
SAE Transactions, 1990 Jan 01. 99, 1266-1274.
Externí odkaz:
https://www.jstor.org/stable/44473099
Autor:
Brown, Marianne Elizabeth
Guidance is a central issue in Automatic Theorem Proving systems due to the enormity of the search space that these systems navigate. Semantic guidance uses semantic information to direct the path an ATP system takes through the search space. The use
Externí odkaz:
http://eprints.jcu.edu.au/1184/1/01front.pdf
http://eprints.jcu.edu.au/1184/2/02whole.pdf
http://eprints.jcu.edu.au/1184/2/02whole.pdf
Conference
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.
Conference
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:
Brown, Marianna C.
Thesis (Ph. D.)--Columbia University, 1902.
Includes bibliographical references (p. 246-257) and index.
Includes bibliographical references (p. 246-257) and index.
Externí odkaz:
http://catalog.hathitrust.org/api/volumes/oclc/2501900.html