Programs, Proofs, Processes
6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings
| ISBN: | 9783642139611 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 450 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Ferreira, Fernando Gomes, Luís Mendes Löwe, Benedikt Mayordomo, Elvira |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 17.06.2010 |
| Untertitel: | 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings |
| Schlagworte: | Haskell Heyting algebra Ramsey Sierpinsky triangle bacteria computing biological computing complexity computability computational modeling ergodic theory |
Anmelden