Logic and computation : proceedings of a Workshop held at Carnegie Mellon University, June 30-July 2, 1987
Saved in:
| Corporate Author: | Workshop on Logic and Computation Carnegie Mellon University |
|---|---|
| Other Authors: | Sieg, Wilfried, 1945- |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Providence, Rhode island :
American Mathematical Society,
c1990
|
| Series: | Contemporary mathematics (American Mathematical Society) ;
; 106 |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Logic and computation :
by: Paulson, Lawrence C.
Published: (1987) -
Handbook of logic and proof techniques for computer science
by: Krantz, Steven G. (Steven George) 1951-
Published: (2002) -
A recursive introduction to the theory of computation
by: Smith, Carl H. 1950-
Published: (1994) -
Computers in education :
Published: (1990) -
Computer methods for the range of functions
by: Ratschek, H. (Helmut) 1940-
Published: (1984)