Logic and computation : proceedings of a Workshop held at Carnegie Mellon University, June 30-July 2, 1987
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | Workshop on Logic and Computation Carnegie Mellon University |
|---|---|
| Άλλοι συγγραφείς: | Sieg, Wilfried, 1945- |
| Μορφή: | Πρακτικό Συνεδρίου Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Providence, Rhode island :
American Mathematical Society,
c1990
|
| Σειρά: | Contemporary mathematics (American Mathematical Society) ;
; 106 |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
Παρόμοια τεκμήρια
-
Logic and computation :
από: Paulson, Lawrence C.
Δημοσίευση: (1987) -
Handbook of logic and proof techniques for computer science
από: Krantz, Steven G. (Steven George) 1951-
Δημοσίευση: (2002) -
A recursive introduction to the theory of computation
από: Smith, Carl H. 1950-
Δημοσίευση: (1994) -
Computers in education :
Δημοσίευση: (1990) -
Computer methods for the range of functions
από: Ratschek, H. (Helmut) 1940-
Δημοσίευση: (1984)