LEADER 01689aam 2200457I 450 001 9910711381503321 005 20160525040643.0 024 8 $aGOVPUB-C13-5d7bd7bac6271c970414a61e6a7023c9 035 $a(CKB)5470000002482213 035 $a(OCoLC)950543986 035 $a(EXLCZ)995470000002482213 100 $a20160525d2016 ua 0 101 0 $aeng 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aMinimizing paste content in concrete using limestone powders : $edemonstration mixtures /$fDale P. Bentz, Scott Z. Jones, Didier Lootens 210 1$aGaithersburg, MD :$cU.S. Dept. of Commerce, National Institute of Standards and Technology,$d2016. 215 $a1 online resource (48 pages) $cillustrations (chiefly color) 225 1 $aNIST technical note ;$v1906 300 $aContributed record: Metadata reviewed, not verified. Some fields updated by batch processes. 300 $aJanuary 2016. 300 $aTitle from PDF title page (viewed January 31, 2016). 320 $aIncludes bibliographical references. 517 $aMinimizing paste content in concrete using limestone powders 606 $aConcrete 606 $aMortar 615 0$aConcrete. 615 0$aMortar. 700 $aBentz$b Dale P$01387767 701 $aBentz$b Dale P$01387767 701 $aJones$b Scott Z$01405543 701 $aLootens$b Didier$01393914 712 02$aNational Institute of Standards and Technology (U.S.) 801 0$bNBS 801 1$bNBS 801 2$bGPO 906 $aBOOK 912 $a9910711381503321 996 $aMinimizing paste content in concrete using limestone powders$93482339 997 $aUNINA LEADER 02439nam0 22004933i 450 001 AQ10003073 005 20251003044040.0 010 $a0387569928$bNew York 010 $a3540569928$bBerlin 100 $a20110927d1993 ||||0itac50 ba 101 | $aeng 102 $ade 181 1$6z01$ai $bxxxe 182 1$6z01$an 183 1$6z01$anc$2RDAcarrier 200 1 $aComputer science logic$e6. workshop, CSL '92$eSan Miniato, Italy, September 28-October 2, 1992$eproceedings$fE. Borger ... [et al.] (eds.) 210 $aBerlin [etc.]$cSpringer$d1993 215 $aVIII, 439 p.$d25 cm 225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v702 300 $aNella prefaz.: Computer science logic workshop 410 0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v702$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340 606 $aLOGICA MATEMATICA$xCONGRESSI$x1992$2FIR$3MILC069750$9I 606 $aINFORMATICA$xCONGRESSI$x1992$2FIR$3MILC102840$9I 676 $a004$9ELABORAZIONE DEI DATI. SCIENZA DEGLI ELABORATORI. INFORMATICA$v14 676 $a004.015113$9Elaborazione dei dati, Scienza degli elaboratori, Informatica. Principi matematici. Logica matematica (Logica simbolica)$v22 696 $aConvegni$aCongressi e convegni$aLogica simbolica$aLogica matematica 696 $aConvegni$aCongressi e convegni$aScienza degli elaboratori 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aLogica matematica$zLogica simbolica 699 $aLogica matematica$yLogica matematica 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aInformatica$yScienza degli elaboratori 702 1$aBörger$b, Egon$3CFIV068138 710 12$aWorkshop on computer science logic$d <6.$f ; 1992$e ; San Miniato>$3AQ1V001608$0756591 791 12$aWorkshop CSL '92$d <6.$f ; 1992$e ; San Miniato>$3TO0V164879$zWorkshop on computer science logic <6. ; 1992 ; San Miniato> 801 3$aIT$bIT-000000$c20110927 850 $aIT-BN0095 912 $aAQ10003073 950 0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL. ING. LNCS$e 0102 0000013215 VMA FD702 v. 702$fY $h19940909$i20110927 977 $a 01 996 $aComputer science logic$91525532 997 $aUNISANNIO