Theses/Dissertations
Author Heydtmann, Dirk.

Title Subsumption in modal logic / by Dirk Heydtmann.

Published 1993.
LOCATION CALL # STATUS
 MST DEPOSITORY  THESIS T 6662/6689  MICROFILM    NOT CHECKED OUT
 MST Thesis  THESIS T 6662    NOT CHECKED OUT
Description viii, 86 pages.
Notes M.S. University of Missouri--Rolla 1993.
Other Titles MST thesis. Computer Science (M.S., 1993).
OCLC/WorldCat Number 30016812
Author Heydtmann, Dirk.
Title Subsumption in modal logic / by Dirk Heydtmann.
Other Titles MST thesis. Computer Science (M.S., 1993).