Programs, Proofs, Processes
6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Fernando Ferreira
Themen in »Programs, Proofs, Processes«
Haskell Heyting algebra Ramsey Sierpinsky triangle bacteria computing biological computing complexity computability computational modeling ergodic theory finite fields fractal geometry parameterized complexity proving quantum field
Stimmen zu »Programs, Proofs, Processes«
Details
ISBN: 9783642139628
Verlag: Springer Berlin
Erscheinung: 27.06.2010