- Tytuł:
- Logic, primes and computation: a tale of unrest
- Autorzy:
-
Leonesi, S.
Toffalori, C. - Powiązania:
- https://bibliotekanauki.pl/articles/1964202.pdf
- Data publikacji:
- 2005
- Wydawca:
- Politechnika Gdańska
- Tematy:
-
computability
feasibility
primality
satisfiability - Opis:
- The early connections between Mathematical Logic and Computer Science date back to the thirties and to the birth itself of modern Theoretical Computer Science, and concern computability. This survey wishes to emphasize how alive and fruitful this relationship has been since then, and still is.
- Źródło:
-
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2005, 9, 3; 273-291
1428-6394 - Pojawia się w:
- TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
- Dostawca treści:
- Biblioteka Nauki
Artykuł