LEADER 01171nam a2200325 i 4500 001 991001134529707536 005 20020507183906.0 008 960622s1978 de ||| | eng 020 $a3540087389 035 $ab10805643-39ule_inst 035 $aLE01307595$9ExL 040 $aDip.to Matematica$beng 082 0 $a511.3 084 $aAMS 03B35 100 1 $aHájek, Petr$048949 245 10$aMechanizing hypothesis formation :$bmathematical foundations for a general theory /$cP. Hájek, T. Havránek 260 $aBerlin :$bSpringer-Verlag,$c1978 300 $axv, 396 p. :$bill. ;$c25 cm. 490 0 $aUniversitext 500 $aBibliography: p. [387]-396. 500 $aIncludes index 650 4$aAutomatic hypothesis formation 650 4$aMechanization of proofs and logical operations 700 1 $aHavránek, Tomas 907 $a.b10805643$b23-02-17$c28-06-02 912 $a991001134529707536 945 $aLE013 03B HAJ11 (1978)$g1$i2013000051932$lle013$o-$pE0.00$q-$rl$s- $t0$u1$v0$w1$x0$y.i10910232$z28-06-02 996 $aMechanizing Hypothesis Formation$9384221 997 $aUNISALENTO 998 $ale013$b01-01-96$cm$da $e-$feng$gde $h0$i1 LEADER 01450nam 2200433 450 001 9910150393603321 005 20230808200520.0 010 $a3-8452-7671-1 035 $a(CKB)3710000000943535 035 $a(MiAaPQ)EBC4741828 035 $a(EXLCZ)993710000000943535 100 $a20170816h20162016 uy 0 101 0 $ager 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 14$aDie Haftung des Arztes im Praktischen Jahr aus strafrechtlicher und zivilrechtlicher Perspektive /$fPeter Ernst 205 $a1. Auflage. 210 1$aBaden-Baden, [Germany] :$cNomos Verlagsgesellschaft,$d2016. 210 4$d©2016 215 $a1 online resource (310 pages) 225 1 $aDu?sseldorfer Rechtswissenschaftliche Schriften ;$vBand 143 311 $a3-8487-3331-5 320 $aIncludes bibliographical references. 410 0$aDu?sseldorfer Rechtswissenschaftliche Schriften ;$vBand 143. 606 $aInterns (Medicine)$vHandbooks, manuals, etc 606 $aMedical students$zGermany 615 0$aInterns (Medicine) 615 0$aMedical students 676 $a610.6952 700 $aErnst$b Peter$0562005 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910150393603321 996 $aDie Haftung des Arztes im Praktischen Jahr aus strafrechtlicher und zivilrechtlicher Perspektive$93416545 997 $aUNINA