Algoritma: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Tidak ada ringkasan suntingan Tag: halaman dengan galat kutipan Suntingan perangkat seluler Suntingan peramban seluler |
Add 1 book for Wikipedia:Pemastian (20231010)) #IABot (v2.0.9.5) (GreenC bot |
||
Baris 866:
* {{cite book|last=Bellah|first=Robert Neelly|year=1985|authorlink=Robert N. Bellah|title=Habits of the Heart: Individualism and Commitment in American Life|location=Berkeley|isbn=978-0-520-25419-0|publisher=University of California Press|url= http://books.google.com/books?id=XsUojihVZQcC|ref=harv}}
* {{Cite journal|author1-link=Andreas Blass|first1=Andreas|last1=Blass|author2-link=Yuri Gurevich|first2=Yuri|last2=Gurevich|year=2003|url=http://research.microsoft.com/~gurevich/Opera/164.pdf|title=Algorithms: A Quest for Absolute Definitions|journal= Bulletin of European Association for Theoretical Computer Science|volume= 81}} Includes an excellent bibliography of 56 references.
* {{cite book|last1 = Boolos|first1 = George|last2 = Jeffrey|first2 = Richard|title = Computability and Logic|url = https://archive.org/details/computabilitylog0000bool_r8y9|edition = 4th|year = 1974, 1999|publisher = Cambridge University Press, London|isbn = 0-521-20402-X|ref = harv|author1-link = George Boolos|author2-link = Richard Jeffrey }}: cf. Chapter 3 ''Turing machines'' where they discuss "certain enumerable sets not effectively (mechanically) enumerable".
* {{cite book|last = Burgin|first = Mark|title = Super-Recursive Algorithms|year = 2004|publisher = Springer|isbn = 978-0-387-95569-8 }}
* Campagnolo, M.L., [[Cris Moore|Moore, C.]], and Costa, J.F. (2000) An analog characterization of the subrecursive functions. In ''Proc. of the 4th Conference on Real Numbers and Computers'', Odense University, pp. 91–109
| |||