共 50 条
- [21] Generating candidate busy beaver machines (or how to build the zany zoo)Theoretical Computer Science, 2022, 922 : 368 - 394Harland, James
- [22] Generating candidate busy beaver machines (or how to build the zany zoo)THEORETICAL COMPUTER SCIENCE, 2022, 922 : 368 - 394Harland, James
- [23] A COMPUTER TRAP FOR THE BUSY BEAVER, THE HARDEST-WORKING TURING MACHINESCIENTIFIC AMERICAN, 1984, 251 (02) : 19 - &DEWDNEY, AK
- [24] A new Godelian argument for hypercomputing minds based on the busy beaver problemAPPLIED MATHEMATICS AND COMPUTATION, 2006, 176 (02) : 516 - 530Bringsjord, SelmerKellett, OwenShilliday, AndrewTaylor, Joshuavan Heuveln, BramYang, YingruiBaumes, JeffreyRoss, Kyle
- [25] Cover versions ('Beaver Trilogy', by Trent Harris)FILM COMMENT, 2000, 36 (04) : 39 - 40Chang, C
- [26] SOLUTION TO RADOS BUSY-BEAVER-GAME IS NOW DECIDED FOR K=4NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (01): : A25 - A25BRADY, AH
- [27] Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons)THEORETICAL COMPUTER SCIENCE, 2016, 646 : 61 - 85Harland, James
- [28] Cover ArtANTIPODES-A GLOBAL JOURNAL OF AUSTRALIAN/NEW ZEALAND LITERATURE, 2016, 30 (01): : 4 - 4Robinson, Barbie