"1"^^ . "978-3-642-15204-7" . . . . "lengths of proofs; computational time"@en . "Kraj\u00ED\u010Dek, Jan" . "1"^^ . "RIV/67985840:_____/10:00353758!RIV11-MSM-67985840" . . . . "We study several situations where it is possible to extract a feasible computational information from a proof, either in a first-order theory or in a propositional proof system."@en . "[3B275A2C5405]" . "Springer-Verlag" . "From feasible proofs to feasible computations" . . "We study several situations where it is possible to extract a feasible computational information from a proof, either in a first-order theory or in a propositional proof system." . . . "From feasible proofs to feasible computations"@en . . . "Heidelberg" . "P(IAA100190902), P(LC505), Z(AV0Z10190503), Z(MSM0021620839)" . "2010-08-23+02:00"^^ . . "From feasible proofs to feasible computations"@en . . "Brno" . . . . . "259855" . "From feasible proofs to feasible computations" . "10"^^ . "Computer science logic 2010" . . . "RIV/67985840:_____/10:00353758" .