LEADER 01520nas 2200469 a 450 001 9910216953703321 005 20240902123008.0 011 $a1755-6724 035 $a(CKB)954925584227 035 $a(CONSER) 88647745 035 $a(DE-599)ZDB2420386-5 035 $a(EXLCZ)99954925584227 100 $a19880707a19889999 uy a 101 0 $aeng 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aActa geologica Sinica =$e????(???) : journal of the Geological Society of China 205 $aEnglish ed. 210 $aBeijing $cGeological Pub. House ;$aNew York $cDistributed abroad by Pergamon Press$d1988- 210 3 $aBeijing $cGeological Society of China ;$aRichmond, Vic., Australia $cBlackwell Pub. Asia Pty Ltd 215 $a1 online resource 300 $aTitle from cover. 300 $aRefereed/Peer-reviewed 311 $aPrint version: ????. (DLC)88647745 (OCoLC)18183147 1000-9515 606 $aGeology$vPeriodicals 606 $aGeology$zChina$vPeriodicals 606 $aGeologie$2gtt 606 $aGeologia$2thub 607 $aXina$2thub 608 $aRevistes electròniques$2thub 615 0$aGeology 615 0$aGeology 615 17$aGeologie. 615 7$aGeologia 676 $a550/.5 712 02$aZhongguo di zhi xue hui (Beijing, China) 906 $aJOURNAL 912 $a9910216953703321 920 $aexl_impl conversion 996 $aActa geologica Sinica$91968822 997 $aUNINA LEADER 01611nam0 22004213i 450 001 UBO0255827 005 20251003044418.0 010 $a0262510472 100 $a20080827d1989 ||||0itac50 ba 101 | $aeng 102 $aus 181 1$6z01$ai $bxxxe 182 1$6z01$an 183 1$6z01$anc$2RDAcarrier 200 1 $aMeta-programming in logic programming$fedited by Harvey Abramson and M. H. Rogers 210 $aCambridge, Mass.$aLondon$cThe MIT press$dc1989 215 $a544 p.$d23 cm. 225 | $aLogic programming 410 0$1001UBO0009672$12001 $aLogic programming 606 $aElaboratori elettronici$xProgrammazione$2FIR$3CFIC000860$9E 606 $aElaboratori$xProgrammazione$2FIR$3BVEC345532$9E 676 $a005.1$9PROGRAMMAZIONE$v14 676 $a005.115$9PROGRAMMAZIONE LOGICA$v22 696 $aCervelli elettronici$aElaboratori elettronici$aCalcolatori elettronici$aComputer 699 $aElaboratori$yCervelli elettronici 699 $aElaboratori$zElaboratori elettronici 699 $aElaboratori$yCalcolatori elettronici 699 $aElaboratori$yComputer 702 1$aAbramson$b, Harvey$3UBOV102676 702 1$aRogers$b, M. H.$3UBOV102709 801 3$aIT$bIT-000000$c20080827 850 $aIT-BN0095 901 $bNAP 01$cSALA DING $n$ 912 $aUBO0255827 950 0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 005.1 METPIL$e 0102 0000011975 VMA A4 1 v.$fY $h19940705$i19940705 977 $a 01 996 $aMeta-programming in logic programming$91501524 997 $aUNISANNIO