LEADER 01129nam--2200385---450-
001 990002182430203316
005 20090210104636.0
035   $a000218243
035   $aUSA01000218243
035   $a(ALEPH)000218243USA01
035   $a000218243
100   $a20041117d1950----km-y0itay0103----ba
101 0 $aita
102   $aIT
105   $a||||||||001yy
200 1 $a<<La>> funzione della banca nella pratica italiana$fGiovanni Goisis$gcon prefazione di Ernesto D'Albergo
205   $a5. ed
210   $aBologna$cZuffi$d1950
215   $aVIII, 1193 p.$d25 cm
410  0$12001
454  1$12001
461  1$1001-------$12001
606 0 $aOperazioni bancarie$yItalia
676   $a332.6
700  1$aGOISIS,$bGiovanni$0373179
702  1$aD'ALBERGO,$bErnesto
801  0$aIT$bsalbc$gISBD
912   $a990002182430203316
951   $a332.6 GOI 1 (IRA 31 82)$b1024 E.C.$cIRA 31$d00012795
959   $aBK
969   $aECO
979   $aSIAV4$b10$c20041117$lUSA01$h1152
979   $aRSIAV2$b90$c20090210$lUSA01$h1046
996   $aFunzione della banca nella pratica italiana$9582521
997   $aUNISA

LEADER 01992oam  2200445zu 450 
001 9910872627403321
005 20241212215201.0
035   $a(CKB)111055184264050
035   $a(SSID)ssj0000558493
035   $a(PQKBManifestationID)12250531
035   $a(PQKBTitleCode)TC0000558493
035   $a(PQKBWorkID)10558734
035   $a(PQKB)10290383
035   $a(NjHacI)99111055184264050
035   $a(EXLCZ)99111055184264050
100   $a20160829d1995      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$aLogic in Computer Science, 10th Symposium on (LICS '95
210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d1995
215   $a1 online resource (xiii, 518 pages) $cillustrations
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a9780818670503 
311 08$a0818670509 
320   $aIncludes bibliographical references.
330   $aThe proceedings of LICS'95 comprise technical papers on topics in program logics, finite models, model checking and verification, theorem proving and AI, concurrency, semantics, lambda calculus and types, unification and rewriting, and linear logic. There are also four invited presentations: a complete proof system for QPTL; the semantic challenge of Verilog HDL; experience using type theory as a foundation for computer science; and origins and metamorphoses of the trinity--logic, nets, automata. No index. Annotation copyright by Book News, Inc., Portland, OR.
606   $aComputer science$xMathematics$vCongresses
606   $aLogic, Symbolic and mathematical$vCongresses
615  0$aComputer science$xMathematics
615  0$aLogic, Symbolic and mathematical
676   $a004.0151
700   $aKozen$b Dexter$f1951-$065955
801  0$bPQKB
906   $aBOOK
912   $a9910872627403321
996   $aLogic in Computer Science, 10th Symposium on (LICS '95$94207255
997   $aUNINA