LEADER 01070nam0-22003131i-450-
001 990005207340403321
005 20080328092015.0
010   $a3-487-09543-2
035   $a000520734
035   $aFED01000520734
035   $a(Aleph)000520734FED01
035   $a000520734
100   $a19990604d1992----km-y0itay50------ba
101 0 $aeng
102   $aDE
105   $ay---e---001zy
200 1 $aOn the greek of the Novels of Justinian$ea supplement to the iddle-Scott-Jones together with observations of the influence of latin on legal greek$fIvars Avotins
210   $aHildesheim$aZürich$aNew York$cOlms-Weidmann$d1992
215   $aXIII, 244 p.$d21 cm
225 1 $aAltertumswissenschaftliche Texte und Studien$v21
610 0 $aCorpus Iuris Civilis - Novelle - Lessico
700  1$aAvotins,$bIvars$0164963
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990005207340403321
952   $aP2B-610-C.I.C.(4)-8A.I.-1992$bBibl. 40353$fFLFBC
959   $aFLFBC
996   $aOn the greek of the Novels of Justinian$9538923
997   $aUNINA

LEADER 01067oam  2200277z- 450 
001 9910143631503321
005 20080308085414.0
035   $a(CKB)1000000000210935
035   $a(EXLCZ)991000000000210935
100   $a20210330c1998uuuu  -u-         -
101 0 $aeng
200 10$aAutomated deduction, CADE-15 $e15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings /$fClaude Kirchner, He?le?ne Kirchner, eds
210   $cSpringer Berlin / Heidelberg
311   $a3-540-64675-2 
531   $a15TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION, LINDAU, GERMANY, JULY 5-10, 1998, PROCEEDINGS
606   $aAutomatic theorem proving$vCongresses
606   $aLogic, Symbolic and mathematical$vCongresses
615  0$aAutomatic theorem proving
615  0$aLogic, Symbolic and mathematical
676   $a006.3/3
701   $aKirchner$b Hélène$0969880
701   $aKirchner$b Claude$0969881
906   $aBOOK
912   $a9910143631503321
996   $aAutomated Deduction ? CADE-15$92204548
997   $aUNINA