LEADER 00857nam0-22003011i-450- 001 990000501920403321 005 20071001161910.0 010 $a0-471-49531-X 035 $a000050192 035 $aFED01000050192 035 $a(Aleph)000050192FED01 035 $a000050192 100 $a20020821d1976----km-y0itay50------ba 101 0 $aeng 105 $aa-------001yy 200 1 $aOptics of thin films$e(an optical multilayer theory)$fZdenek knittl 210 $aLondon ; New York$cWiley & Sons$dc1976 215 $a548 p.$cill.$d25 cm 225 1 $aWiley series in pure and applied optics 610 0 $aFilm sottile$aProprietà ottiche 676 $a530.412 700 1$aKnittl,$bZdenek 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000501920403321 952 $a10 B III 116$b9551$fDINEL 959 $aDINEL 997 $aUNINA LEADER 01982nam0 22003973i 450 001 AQ10012924 005 20251003044042.0 010 $a0387569448$bNew York 010 $a3540569448$bBerlin 100 $a20120120d1993 ||||0itac50 ba 101 | $aeng 102 $ade 181 1$6z01$ai $bxxxe 182 1$6z01$an 183 1$6z01$anc$2RDAcarrier 200 1 $aLogic programming and automated reasoning$e4. international conference, LPAR '93$eSt. Petersburg, Russia, July 13-20, 1993$eproceedings$fAndrei Voronkov (ed.) 210 $aBerlin [etc.]$cSpringer$dc1993 215 $aXIII, 386 p.$d24 cm 225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v698 410 0$1001MIL0132980$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v698 606 $aProgrammazione logica$xCongressi$x1993$2FIR$3NAPC223597$9I 676 $a005.1$9PROGRAMMAZIONE$v14 676 $a005.115$9PROGRAMMAZIONE LOGICA$v22 696 $aConvegni$aCongressi e convegni 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 702 1$aVoronkov$b, Andrei$f <1959- >$3MILV089023 710 12$aInternational conference on logic programming and automated reasoning$d <4.$f ; 1993$e ; San Pietroburgo>$3AQ1V006979$4070$0714681 791 12$aInternational conference LPAR '93$d <4.$f ; 1993$e ; San Pietroburgo>$3NAPV120569$zInternational conference on logic programming and automated reasoning <4. ; 1993 ; San Pietroburgo> 801 3$aIT$bIT-000000$c20120120 850 $aIT-BN0095 912 $aAQ10012924 950 0$aBiblioteca Centralizzata di Ateneo$c43 v.$d 01COLL. ING LNAI$e 0102 0000013265 VMA A4(0698 v. 698$fY $h19940912$i20120120 977 $a 01 996 $aLogic programming and automated reasoning$91382024 997 $aUNISANNIO