Programming Unconventional Computers: Dynamics, Development, Self-Reference
Classical computing has well-established formalisms for specifying, refining, composing, proving, and otherwise reasoning about computations. These formalisms have matured over the past 70 years or so. Unconventional Computing includes the use of novel kinds of substrates–from black holes and quantu...
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Artigo |
| Γλώσσα: | Inglês |
| Έκδοση: |
MDPI AG
2012-10-01
|
| Σειρά: | Entropy |
| Θέματα: | |
| Διαθέσιμο Online: | http://www.mdpi.com/1099-4300/14/10/1939 |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|