Return to search

Sequentialization of logic programs /

Thesis (Ph. D.)--Stanford University, 1986. / "September 1986." "This work was partially supported by the Office of Naval Research under contracts number N00014-81-K-0303 and N00014-81-K-0004, by the National Institutes of Health under grant number 5P41 RR 00785, and by the Defense Advanced Research Projects Agency under contract number N00039-86-C-0033"--P. vi. Bibliography: p. 160-167.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/19834744
Date January 1900
CreatorsTreitel, Richard James.
PublisherStanford, CA : Dept. of Computer Science, Stanford University,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0024 seconds