Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Algorithm_characterizations> ?p ?o }
- Algorithm_characterizations abstract "Algorithm characterizations are attempts to formalize the word algorithm. Algorithm does not have a generally accepted formal definition. Researchers are actively working on this problem. This article will present some of the "characterizations" of the notion of "algorithm" in more detail.This article is a supplement to the article Algorithm.".
- Algorithm_characterizations wikiPageExternalLink 164.pdf.
- Algorithm_characterizations wikiPageExternalLink 141.pdf.
- Algorithm_characterizations wikiPageID "6901703".
- Algorithm_characterizations wikiPageLength "71212".
- Algorithm_characterizations wikiPageOutDegree "122".
- Algorithm_characterizations wikiPageRevisionID "682048080".
- Algorithm_characterizations wikiPageWikiLink A._A._Markov.
- Algorithm_characterizations wikiPageWikiLink Abstract_machine.
- Algorithm_characterizations wikiPageWikiLink Ackermann_function.
- Algorithm_characterizations wikiPageWikiLink Alan_Turing.
- Algorithm_characterizations wikiPageWikiLink Algorithm.
- Algorithm_characterizations wikiPageWikiLink Algorithm_examples.
- Algorithm_characterizations wikiPageWikiLink Alonzo_Church.
- Algorithm_characterizations wikiPageWikiLink Andreas_Blass.
- Algorithm_characterizations wikiPageWikiLink Andrey_Markov.
- Algorithm_characterizations wikiPageWikiLink Boolean_algebra.
- Algorithm_characterizations wikiPageWikiLink Boolean_equation.
- Algorithm_characterizations wikiPageWikiLink C_preprocessor.
- Algorithm_characterizations wikiPageWikiLink Cantors_diagonal_argument.
- Algorithm_characterizations wikiPageWikiLink Category:Algorithms.
- Algorithm_characterizations wikiPageWikiLink Category:Computability_theory.
- Algorithm_characterizations wikiPageWikiLink Category:Formal_methods.
- Algorithm_characterizations wikiPageWikiLink Category:Models_of_computation.
- Algorithm_characterizations wikiPageWikiLink Chinese_room.
- Algorithm_characterizations wikiPageWikiLink Chomsky_hierarchy.
- Algorithm_characterizations wikiPageWikiLink Christos_H._Papadimitriou.
- Algorithm_characterizations wikiPageWikiLink Christos_Papadimitriou.
- Algorithm_characterizations wikiPageWikiLink Church_Thesis.
- Algorithm_characterizations wikiPageWikiLink Churchs_thesis.
- Algorithm_characterizations wikiPageWikiLink Church–Turing_Thesis.
- Algorithm_characterizations wikiPageWikiLink Church–Turing_thesis.
- Algorithm_characterizations wikiPageWikiLink Complexity_class.
- Algorithm_characterizations wikiPageWikiLink Computable_function.
- Algorithm_characterizations wikiPageWikiLink Computational_theory_of_mind.
- Algorithm_characterizations wikiPageWikiLink Computer.
- Algorithm_characterizations wikiPageWikiLink Constructive_mathematics.
- Algorithm_characterizations wikiPageWikiLink Constructivism_(mathematics).
- Algorithm_characterizations wikiPageWikiLink Containment_hierarchy.
- Algorithm_characterizations wikiPageWikiLink Counter-machine_model.
- Algorithm_characterizations wikiPageWikiLink Counter_machine.
- Algorithm_characterizations wikiPageWikiLink Counter_machine_models.
- Algorithm_characterizations wikiPageWikiLink Daniel_Dennett.
- Algorithm_characterizations wikiPageWikiLink Darwins_Dangerous_Idea.
- Algorithm_characterizations wikiPageWikiLink Data_flow_diagram.
- Algorithm_characterizations wikiPageWikiLink David_Berlinski.
- Algorithm_characterizations wikiPageWikiLink Donald_Knuth.
- Algorithm_characterizations wikiPageWikiLink Dynamic_semantics.
- Algorithm_characterizations wikiPageWikiLink Emil_Leon_Post.
- Algorithm_characterizations wikiPageWikiLink Emil_Post.
- Algorithm_characterizations wikiPageWikiLink Euclidean_algorithm.
- Algorithm_characterizations wikiPageWikiLink Formal_grammar.
- Algorithm_characterizations wikiPageWikiLink Formal_language.
- Algorithm_characterizations wikiPageWikiLink Formal_system.
- Algorithm_characterizations wikiPageWikiLink George_Boolos.
- Algorithm_characterizations wikiPageWikiLink Greatest_common_divisor.
- Algorithm_characterizations wikiPageWikiLink Gödel.
- Algorithm_characterizations wikiPageWikiLink Harry_R._Lewis.
- Algorithm_characterizations wikiPageWikiLink Hartley_Rogers,_Jr.
- Algorithm_characterizations wikiPageWikiLink Hartley_Rogers,_Jr..
- Algorithm_characterizations wikiPageWikiLink Hierarchy.
- Algorithm_characterizations wikiPageWikiLink Ian_Stewart_(mathematician).
- Algorithm_characterizations wikiPageWikiLink Intrinsic.
- Algorithm_characterizations wikiPageWikiLink Intrinsic_and_extrinsic_properties.
- Algorithm_characterizations wikiPageWikiLink Intuitionism.
- Algorithm_characterizations wikiPageWikiLink J._Barkley_Rosser.
- Algorithm_characterizations wikiPageWikiLink Jan_van_Leeuwen.
- Algorithm_characterizations wikiPageWikiLink John_P._Burgess.
- Algorithm_characterizations wikiPageWikiLink John_Searle.
- Algorithm_characterizations wikiPageWikiLink John_Venn.
- Algorithm_characterizations wikiPageWikiLink Kleene.
- Algorithm_characterizations wikiPageWikiLink Kurt_Gödel.
- Algorithm_characterizations wikiPageWikiLink Lambda_calculus.
- Algorithm_characterizations wikiPageWikiLink Logical_form.
- Algorithm_characterizations wikiPageWikiLink M4_(computer_language).
- Algorithm_characterizations wikiPageWikiLink MIX.
- Algorithm_characterizations wikiPageWikiLink Machine_code.
- Algorithm_characterizations wikiPageWikiLink Machine_language.
- Algorithm_characterizations wikiPageWikiLink Martin_Davis.
- Algorithm_characterizations wikiPageWikiLink Michael_Sipser.
- Algorithm_characterizations wikiPageWikiLink Mind.
- Algorithm_characterizations wikiPageWikiLink Mu-operator.
- Algorithm_characterizations wikiPageWikiLink Mu_recursive_function.
- Algorithm_characterizations wikiPageWikiLink Natural_number.
- Algorithm_characterizations wikiPageWikiLink Peter_van_Emde_Boas.
- Algorithm_characterizations wikiPageWikiLink Pointer_machine.
- Algorithm_characterizations wikiPageWikiLink Post–Turing_machine.
- Algorithm_characterizations wikiPageWikiLink Primitive_recursive.
- Algorithm_characterizations wikiPageWikiLink Primitive_recursive_function.
- Algorithm_characterizations wikiPageWikiLink Primitive_recursive_functions.
- Algorithm_characterizations wikiPageWikiLink Programming_language.
- Algorithm_characterizations wikiPageWikiLink Random-access_machine.
- Algorithm_characterizations wikiPageWikiLink Random-access_stored-program_machine.
- Algorithm_characterizations wikiPageWikiLink Random_Access_Machine.
- Algorithm_characterizations wikiPageWikiLink Random_access_machine.
- Algorithm_characterizations wikiPageWikiLink Random_access_stored_program_machine.
- Algorithm_characterizations wikiPageWikiLink Recursion.
- Algorithm_characterizations wikiPageWikiLink Register_machine.
- Algorithm_characterizations wikiPageWikiLink Richard_Jeffrey.
- Algorithm_characterizations wikiPageWikiLink Robert_I._Soare.