Leaning search control knowlledge for equational deductionde Stephan SchulzMateriasAutomatic theorem provingHeuristic programmingEdiciones (2)Leaning search control knowlledge for equational deduction (2007)AKA · inglésLeaning search control knowlledge for equational deduction (2007)AKA · inglésMás obras de Stephan SchulzWWhat a wonderful worldWhat a wonderful world
KKollektive Entscheidungen in der AktiengesellschaftKollektive Entscheidungen in der Aktiengesellschaft
