LEADER 02409nam0 22003733i 450 
001 SUN0093422
005 20151120101600.498
100   $a20130418d2000       |0engc50      ba
101   $aeng
102   $aIT
105   $a||||    |||||
200 1 $aOn exponentiation-A solution to Tarski's high school algebra problem$fAlex Wilkie
205   $aRoma : Aracne$b2000
210   $d21 cm
215   $aEstratto da: Quaderni di matematica, n. 6 (2000), p. 107-130.
606   $aEquational classes, universal algebra [MSC 2010] 03C05$2MF$3SUNC022423
606   $aModel theory of ordered structures; o-minimality [MSC 2010] 03C64$2MF$3SUNC024496
620   $dRoma$3SUNL000360
700  1$aWilkie$b, Alex$3SUNV075027$0722522
712   $aAracne$3SUNV001104$4650
801   $aIT$bSOL$c20181109$gRICA
912   $aSUN0093422
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08 CONS      Estratto / 6                        $e08    5736                                  
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08 CONS      Estratto / 6                        $e08    5734                                  
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08 CONS      Estratto / 6                        $e08    5733                                  
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08 CONS      Estratto / 6                        $e08    5735                                  
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08 CONS      Estratto / 6                        $e08    5737                                  
995   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$bIT-CE0120$h5736$kCONS Estratto / 6$oc$qa
995   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$bIT-CE0120$h5734$kCONS Estratto / 6$oc$qa
995   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$bIT-CE0120$h5733$kCONS Estratto / 6$oc$qa
995   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$bIT-CE0120$h5735$kCONS Estratto / 6$oc$qa
995   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$bIT-CE0120$h5737$kCONS Estratto / 6$oc$qa
996   $aOn exponentiation-A solution to Tarski's high school algebra problem$91408961
997   $aUNICAMPANIA

LEADER 01459oam  2200421zu 450 
001 9910376068903321
005 20240607150606.0
035   $a(CKB)3170000000004251
035   $a(SSID)ssj0000812483
035   $a(PQKBManifestationID)11472714
035   $a(PQKBTitleCode)TC0000812483
035   $a(PQKBWorkID)10860365
035   $a(PQKB)10073528
035   $a(Association for Computing Machinery)10.1145/1808266
035   $a(EXLCZ)993170000000004251
100   $a20160829d2010      uy 
101 0 $aeng
135   $aurnn#008mam|a
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aProceedings of the 5th Workshop on Automation of Software Test
210 31$a[Place of publication not identified] :$cAssociation for Computing Machinery,$d2010.
215   $a1 online resource (154 pages)
225 0 $aACM Conferences.
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a1-60558-970-5 
517 3 $aAST '10
606   $aInformation Technology$xComputer Science (Hardware & Networks)
615  4$aInformation Technology$xComputer Science (Hardware & Networks)
700   $aZhu$b Hong$0885802
702   $aZhu$b Hong
712 02$aAssociation for Computing Machinery-Digital Library.
801  0$bPQKB
906   $aBOOK
912   $a9910376068903321
996   $aProceedings of the 5th Workshop on Automation of Software Test$92292667
997   $aUNINA