@Article{post1943,
  Title                    = {Formal reductions of the general combinatorial decision problem},
  Author                   = {E. Post},
  Journal                  = {American Journal of Mathematics},
  Year                     = {1943},
  Pages                    = {197--215},
  Volume                   = {65},

  Claves                   = {,hist-ia,},
  Keywords                 = {rules,problem-solving},
  Tema                     = {El primero en usar reglas para resolver problemas}
}

{"_id":"FyNtfXz7cQE9h4HA4","bibbaseid":"post-formalreductionsofthegeneralcombinatorialdecisionproblem-1943","downloads":0,"creationDate":"2017-04-19T15:50:25.879Z","title":"Formal reductions of the general combinatorial decision problem","author_short":["Post, E."],"year":1943,"bibtype":"article","biburl":"http://www.ia.uned.es/~mluque/cisiad.bib","bibdata":{"bibtype":"article","type":"article","title":"Formal reductions of the general combinatorial decision problem","author":[{"firstnames":["E."],"propositions":[],"lastnames":["Post"],"suffixes":[]}],"journal":"American Journal of Mathematics","year":"1943","pages":"197--215","volume":"65","claves":",hist-ia,","keywords":"rules,problem-solving","tema":"El primero en usar reglas para resolver problemas","bibtex":"@Article{post1943,\n Title = {Formal reductions of the general combinatorial decision problem},\n Author = {E. Post},\n Journal = {American Journal of Mathematics},\n Year = {1943},\n Pages = {197--215},\n Volume = {65},\n\n Claves = {,hist-ia,},\n Keywords = {rules,problem-solving},\n Tema = {El primero en usar reglas para resolver problemas}\n}\n\n","author_short":["Post, E."],"key":"post1943","id":"post1943","bibbaseid":"post-formalreductionsofthegeneralcombinatorialdecisionproblem-1943","role":"author","urls":{},"keyword":["rules","problem-solving"],"downloads":0},"search_terms":["formal","reductions","general","combinatorial","decision","problem","post"],"keywords":["rules","problem-solving"],"authorIDs":[],"dataSources":["M66iSiMeC2pAhHPfr"]}