LEADER 02141nas  2200601 n 450 
001 9910131324303321
005 20230321203944.0
011   $a1879-1840
035   $a(CKB)954925379971
035   $a(CONSER)   46041553
035   $a(DE-599)ZDB2023637-2
035   $a(EXLCZ)99954925379971
100   $a20750727b18342000  uy              
101 0 $afre
135   $aur|n||||||
200 00$aAnnales des sciences naturelles$iZoologie et biologie animale
210   $aParis$aNew York$cMasson [etc.]
215   $a1 online resource
300   $aTitle varies slightly.
300   $aEditors: 1834-85, H. Milne-Edwards (with V. Audouin, 1834-41, A. Milne-Edwards, 1875-85)--1885-99, A. Milne-Edwards.--1900-20, E. Perrier.--1922-<42> E.-L. Bouvier (with P. Grasse?, 1940-<42>).
300   $aRefereed/Peer-reviewed
311 08$aPrint version: Annales des sciences naturelles. 0003-4339 (DLC)   46041553  (OCoLC)788956352 
517 3 $aZoologie et biologie animale
517   $aAnnales des Sciences Naturelles - Zoologie et Biologie Animale
531   $aANN SCI NAT ZOOL BIOL ANIM
531   $aANN SCI NATUR ZOOL BIOL ANIM
531   $aANN SCI NAT ZOOL
531   $aANN SCI N Z
531 0 $aAnn. sci. nat., Zool. biol. anim.
606   $aZoology$vPeriodicals
606   $aBiology$vPeriodicals
606   $aDierkunde$2gtt
606   $aVeeteelt$2gtt
606   $aZoologie$vPe?riodiques
606   $aBiologie$vPe?riodiques
615  0$aZoology
615  0$aBiology
615 17$aDierkunde.
615 17$aVeeteelt.
615  6$aZoologie
615  6$aBiologie
676   $a574/.05
701   $aMilne-Edwards$b H$g(Henri),$f1800-1885.$070383
701   $aAudouin$b Jean Victor$f1797-1841.$0242828
701   $aMilne-Edwards$b Alphonse$f1835-1900.$070521
701   $aPerrier$b Edmond$f1844-1921.$084678
701   $aBouvier$b E.-L.$f1856-1944.$0426809
701   $aGrasse?$b Pierre-Paul$f1895-1985.$0359906
906   $aJOURNAL
912   $a9910131324303321
920   $aexl_impl conversion
996   $aAnnales des sciences naturelles$91905344
997   $aUNINA

LEADER 02080nam0 22003613i 450 
001 AQ10007162
005 20240830062547.0
010   $a0387581405$bNew York
010   $a3540581405$bBerlin
100   $a20111031d1994    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aLogical foundations of computer science$ethird international symposium, LFCS '94$eSt. Petersburg, Russia, July 11-14, 1994$eproceedings$fA. Nerode, Yu. V. Matiyasevich (eds.)
210   $aBerlin [etc.]$cSpringer$dc1994
215   $aIX, 392 p.$d24 cm
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v813
410  0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v813
606   $aLogica simbolica$xCongressi$x1994$2FIR$3NAPC242562$9I
606   $aInformatica$xCongressi$x1994$2FIR$3NAPC242164$9I
676   $a005.1015113$9Programmazione. Principi matematici. Logica matematica (Logica simbolica)$v22
702  1$aMatiyasevich$b, Yuri V.$3UFIV088040
702  1$aNerode$b, Anil$f <1932-    >$3UFIV097251
710 12$aInternational symposium on logical foundations of computer science$d <3.$f ; 1994$e ; San Pietroburgo>$3AQ1V003751$4070$0714632
790  1$aMatijasevi?$b, Jurij Vladimirovi?$3SBNV063651$zMatiyasevich, Yuri V.
801  3$aIT$bIT-NA0079$c20111031
850   $aIT-BN0095          
912   $aAQ10007162
950  0$aBiblioteca Centralizzata di Ateneo$bv. 6;51;259;272;612-613;615-616;618;620;626;629-631;634-635;647;649-650;652;655-658;661-666;668-670;672-676;678;680;682-688;690-694;696-697;700-722;724-726;729-742;747-753;755-763;765;767-769;771-783;785-794;796-797;800-803;805-807;809;812-813;815-821;823-826;828-829;831-832;834;836;839-846;848-860;863-866;868;1147;2282;3185;3889$c193 v.$d 01COLL.     ING.                    LNCS$e 0102 0000023615    B FD813                 v. 813$f3 $h19960301$i20111031
977   $a 01
996   $aLogical foundations of computer science$91381971
997   $aUNISANNIO