LEADER 01016cam a22002897a 4500 001 991000616969707536 008 100226s2006 ne a 000 0 eng d 020 $a9781402039553 035 $ab13884906-39ule_inst 040 $aDip.to Fisica$beng 082 00$a551.57/6$222 084 $aLC QC921.6.T4 084 $a52.9.3 100 1 $aKokhanovsky, Alexander A.$0472691 245 10$aCloud optics /$cby Alexander A. Kokhanovsky 260 $aDordrecht :$bSpringer,$cc2006 300 $axii, 276 p. :$bill. ;$c25 cm 440 0$aAtmospheric and oceanographic sciences library ;$vv. 34 504 $aIncludes bibliographical references 650 0$aClouds$xThermodynamics 650 0$aRadiative transfer 907 $a.b13884906$b28-01-14$c26-02-10 912 $a991000616969707536 945 $aLE006 52.9.3 KOK$g1$i2006000163972$lle006$op$pE135.15$q-$rl$s- $t0$u1$v0$w1$x0$y.i15083500$z26-02-10 996 $aCloud optics$9226229 997 $aUNISALENTO 998 $ale006$b26-02-10$cm$da $e-$feng$gne $h0$i0 LEADER 04302nam 22007095 450 001 9910483616903321 005 20251226200648.0 010 $a3-540-78969-3 024 7 $a10.1007/978-3-540-78969-7 035 $a(MiAaPQ)EBC6694630 035 $a(MiAaPQ)EBC4975651 035 $a(PPN)125218745 035 $a(CKB)1000000000490600 035 $a(Au-PeEL)EBL6694630 035 $a(OCoLC)233974063 035 $a(DE-He213)978-3-540-78969-7 035 $a(EXLCZ)991000000000490600 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn#---mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFunctional and Logic Programming $e9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /$fedited by Jacques Garrigue, Manuel Hermenegildo 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $axi, 340p 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v4989 327 $aInvited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming -- On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory -- Substructural Type Systems for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques -- Optimizing Compilation of CHR with Rule Priorities -- Constructive Arithmetic -- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base -- Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) -- Dependent Types -- On-Demand Refinement of Dependent Types -- Proving Properties about Lists Using Containers -- Rewriting -- Termination of Narrowing in Left-Linear Constructor Systems -- Complexity Analysis by Rewriting -- Rewriting and Call-Time Choice: The HO Case -- Program Transformation -- Semantics and Pragmatics of New Shortcut Fusion Rules -- A Generalization of the Folding Rule for the Clark-Kunen Semantics -- Logic and Lambda-Calculus -- Types for Hereditary Head Normalizing Terms -- A New Translation for Semi-classical Theories ? Backtracking without CPS -- Types -- Undoing Dynamic Typing (Declarative Pearl) -- Typed Dynamic Control Operators for Delimited Continuations -- Strictness Analysis Algorithms Based on an Inequality System for Lazy Types -- Constraints II -- Quantitative Logic Programming Revisited -- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation -- Debugging -- Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming -- EasyCheck ? Test Data for Free. 330 $aThis book constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008. The 20 revised full papers, together with 3 invited contributions were carefully reviewed and selected from 59 submissions. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v4989 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aComputer science 606 $aMachine theory 606 $aArtificial intelligence 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 0$aComputer science. 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 14$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 676 $a005.115 702 $aGarrigue$b Jacques 702 $aHermenegildo$b Manuel 712 12$aFuji International Symposium on Functional and Logic Programming 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483616903321 996 $aFunctional and Logic Programming$9772537 997 $aUNINA