Cornerstones of Undecidability
Κύριοι συγγραφείς: | Rozenberg, Grzegorz (Συγγραφέας), Salomaa, Arto (Συγγραφέας) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
New York
Prentice-Hall
c1994
|
Σειρά: | Prentice-Hall International Series in Computer Sience / C.A.R. Hoare
|
Θέματα: |
Παρόμοια τεκμήρια
-
A primer in Petri Net design
ανά: Reisig, Wolfgang
Έκδοση: (1992) -
Petrinetze Eine Einfuhrung
ανά: Reisig, Wolfgang
Έκδοση: (1986) -
Foundations of mathematical logic
ανά: Curry, Haskell B. 1900- (Haskell Brooks)
Έκδοση: (1977) -
Logic for Mathematicians
ανά: Hamilton, A. G.
Έκδοση: (1988) -
Constructibility
ανά: Devlin, Keith J.
Έκδοση: (1984)