LEADER 01079nam0-2200337---450- 001 990008677130403321 005 20080623140457.0 010 $a88-371-1559-8 035 $a000867713 035 $aFED01000867713 035 $a(Aleph)000867713FED01 035 $a000867713 100 $a20080623d2005----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $a--------001yy 200 1 $aRicostruzione di superfici di interesse geologico mediante elaborazione di dati cartografici$fGiovanni Sguazzoni, Enrico Pandeli 210 $aBologna$cPitagora$dc2005 215 $aVIII, 86 p.$cill.$d26 cm$e1 CD-ROM 225 1 $a<> sistema terra 610 0 $aCartografia geologica 676 $a551.0223 700 1$aSguazzoni,$bGiovanni$0430636 701 1$aPandeli,$bEnrico$0430637 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990008677130403321 952 $a13 D 16 16$b15630$fFINBC 959 $aFINBC 996 $aRicostruzione di superfici di interesse geologico mediante elaborazione di dati cartografici$9716984 997 $aUNINA LEADER 01060nam a2200277 i 4500 001 991001364329707536 008 110906s2007 de b 000 0 ger d 020 $a9783823363057 035 $ab14002851-39ule_inst 040 $aDip.to Lingue$bita 100 1 $aSchubert, Klaus$0154506 245 10$aWissen, Sprache, Medium, Arbeit :$bEin integratives Modell der ein- und mehrsprachigen Fachkommunikation /$cKlaus Schubert 260 $aTübingen :$bGunter Narr,$c2007 300 $a431 p. ;$c23 cm 440 0$aForum für Fachsprachen-Forschung ;$v76 504 $aContiene riferimneti bibliografici 650 4$aLinguistica$xTeorie 650 4$aTraduttologia 650 4$aTraduzioni settoriali 650 4$aTraduzione specialistica 907 $a.b14002851$b02-04-14$c06-09-11 912 $a991001364329707536 945 $aLE012 410 SCU$g1$i2012000449817$lle012$o-$pE0.00$q-$rl$s- $t0$u3$v1$w3$x0$y.i15313256$z06-09-11 996 $aWissen, Sprache, Medium, Arbeit$9248374 997 $aUNISALENTO 998 $ale012$b06-09-11$cm$da $e-$fger$gde $h0$i0 LEADER 04432nam 22007575 450 001 9910483178203321 005 20251226200213.0 010 $a3-662-44145-4 024 7 $a10.1007/978-3-662-44145-9 035 $a(CKB)3710000000227442 035 $a(SSID)ssj0001338771 035 $a(PQKBManifestationID)11735575 035 $a(PQKBTitleCode)TC0001338771 035 $a(PQKBWorkID)11344874 035 $a(PQKB)10156986 035 $a(DE-He213)978-3-662-44145-9 035 $a(MiAaPQ)EBC6285042 035 $a(MiAaPQ)EBC5594682 035 $a(Au-PeEL)EBL5594682 035 $a(OCoLC)889435022 035 $a(PPN)180625861 035 $a(EXLCZ)993710000000227442 100 $a20140823d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic, Language, Information, and Computation $e21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings /$fedited by Ulrich Kohlenbach, Pablo Barceló, Ruy J G B de Queiroz 205 $a1st ed. 2014. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014. 215 $a1 online resource (XX, 237 p. 17 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8652 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-662-44144-6 320 $aIncludes bibliographical references and index. 327 $aOn Normal Numbers -- Dependence Logic -- Syntax and Semantics for Translation -- Intersection types for normalization and verification -- Quantum State Transformations and Branching Distributed Temporal Logic -- Backward deterministic Büchi automata -- Deniability for Downward and Vertical XPath on Data Trees -- On the value of variables -- Logics with Copy and Remove -- Unranked Second-Order Anti-Unification -- Reinstatement and the requirement of maximal specificity in argument Systems -- Sequentialization for N-Graphs via Sub-N-Graphs -- Interrogative dependencies and the constructive content of inquisitive Proofs -- Modal logics of uncertainty with two layer-syntax: a general completeness theorem -- Ancestral Logic: a Proof Theoretical Study -- A Calculus of Anyons -- Theorems on Pre-Fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars -- Common Knowledge Semantics of Armstrong's Axioms -- On Distributed Stochastic Logics for Mobile Systems -- On the Construction of Analytic Sequent Calculi for Sub-classical Logics -- On the Broader Epistemological Significance of Self-Justifying Axiom Systems. 330 $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers presented  together with 6 invited lectures were carefully reviewed and selected from 29 submissions. The focus of the workshop was on the following subjects Inter-Disciplinary Research involving Formal Logic, Computing and Programming Theory, and Natural Language and Reasoning. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8652 606 $aMachine theory 606 $aArtificial intelligence 606 $aComputer science$xMathematics 606 $aAlgorithms 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 606 $aSymbolic and Algebraic Manipulation 606 $aAlgorithms 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 0$aComputer science$xMathematics. 615 0$aAlgorithms. 615 14$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aAlgorithms. 676 $a511.3 702 $aKohlenbach$b Ulrich$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBarceló$b Pablo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $ade Queiroz$b Ruy J G B$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483178203321 996 $aLogic, Language, Information, and Computation$93552031 997 $aUNINA