00819nam0-22003011--450-99000960053040332120120703133138.0000960053FED01000960053(Aleph)000960053FED0100096005320120703d1961----km-y0itay50------bagerDEy-------001yy<<Das >>ArbeitszeugnisKarl SchlessmannHeidelbergRecht und Wirtschaft196184 p.in 8°Schriften des Betriebs-Beraters27344.4312 rid.Schlessmann,Karl263495ITUNINARICAUNIMARCBK990009600530403321VII F 217 (27)70126FGBCFGBCArbeitszeugnis849935UNINA01251nam a2200337 i 450099100077378970753620020507173418.0960430s1979 de ||| | eng 3540095012b10755329-39ule_instLE01302105ExLDip.to Matematicaeng510.3AMS 03D05Ferrante, Jeanne46752The computational complexity of logical theories /Jeanne Ferrante, Charles W. RackoffBerlin :Springer-Verlag,1979x, 243 p. :ill. ;24 cm.Lecture notes in mathematics,0075-8434 ;718Bibliography: p. [234]-238.Includes indexAutomata and formal grammars in connection with logical questionsComputational complexityPredicate calculusRackoff, Charles W..b1075532923-02-1728-06-02991000773789707536LE013 03D FER11 (1979)12013000047034le013-E0.00-l- 00000.i1084954328-06-02Computational complexity of logical theories262975UNISALENTOle01301-01-96ma -engde 41