> Verlagsreihe
-
1990:
Default reasoning causal and conditional theories Hector Geffner
Cambridge, Mass. [u.a.]: MIT Press, 1992
-
1987:
The complexity of robot motion planning
Cambridge, Mass. [u.a.]: MIT Pr., 1988
-
1986:
Full abstraction and semantic equivalence
Cambridge, Mass. [u.a.]: MIT Pr., 1987
-
1984:
Reduced instruction set, computer architectures for VLSI Manolis G. H. Katevenis
London: MIT Press, 1985