LEADER 00860nam0-22002771i-450-
001 990002574280403321
035   $a000257428
035   $aFED01000257428
035   $a(Aleph)000257428FED01
035   $a000257428
100   $a20000920d1973----km-y0itay50------ba
101 0 $aENG
200 1 $aDiscrete mathematical structures and their application$fH. S. Stone.
210   $aChicago$cScience Research Association Inc.$d1973.
215   $ax, 400 p.$d24 cm
610 0 $aMetodi computazionali, Teoria generale della programmazione dei calcolatori
676   $a001
700  1$aStone,$bH. S.$0104619
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990002574280403321
952   $aMXXI-A-33$b3285$fMAS
959   $aMAS
996   $aDiscrete mathematical structures and their application$9435852
997   $aUNINA
DB    $aING01

LEADER 01484oam  2200385zu 450 
001 996218935103316
005 20210807003237.0
035   $a(CKB)111026746701456
035   $a(SSID)ssj0000454871
035   $a(PQKBManifestationID)12176930
035   $a(PQKBTitleCode)TC0000454871
035   $a(PQKBWorkID)10397986
035   $a(PQKB)10989575
035   $a(NjHacI)99111026746701456
035   $a(EXLCZ)99111026746701456
100   $a20160829d2000      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 00$a15th Annual IEEE Symposium on Logic in Computer Science
210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d2000
215   $a1 online resource (500 pages)
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-7695-0725-5 
330   $aThis volume contains 39 papers from the June 2000 conference, addressing such topics as game semantics, complete axiomatization, modality, decision procedures for term algebras, set theory, query processing, and constraint satisfaction. Name index only. Annotation copyrighted by Book News, Inc., Portland, OR.
606   $aComputer science$xMathematics$vCongresses
615  0$aComputer science$xMathematics
676   $a004.0151
801  0$bPQKB
906   $aPROCEEDING
912   $a996218935103316
996   $a15th Annual IEEE Symposium on Logic in Computer Science$92298366
997   $aUNISA