Structure and representation in LF/
Main Author: | Harper, Robert |
---|---|
Corporate Author: | Carnegie-Mellon University. Department of Computer Science |
Other Authors: | Sanella, Donald, Tarlecki, Andrzej |
Format: | Book |
Language: | English |
Published: |
Pittsburgh:
Carnegie Mellon University,
1989
|
Series: | CMU-CS ;
89174 |
Subjects: |
Similar Items
-
Logic representation/
by: Harper, Robert Almer, 1862-1946 -
AutoCAD 2013 & AutoCAD LF 2013 bible
by: Finkelstein, Ellen.
Published: (2012) -
Automatic generation of reliability functions for processor-memoty-switch structures/
by: Kini, Vittal
Published: (1981) -
The structure of computers and computations/
by: Kuck, David J.
Published: (1978) -
Structural complexity II/
by: Balca?zar, Jose? Luis
Published: (1990)