Muutke küpsiste eelistusi

E-raamat: Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

Edited by , Edited by , Edited by
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 8071
  • Ilmumisaeg: 15-Aug-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783642399923
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 49,39 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, ProceedingsSuurem pilt
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 8071
  • Ilmumisaeg: 15-Aug-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783642399923
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 30 submissions. The scope of the workshop spans the theoretical and practical aspects of formal logic, computing and programming theory, and natural language and reasoning.

Logic and Agent Programming Languages
1(10)
Natasha Alechina
Natural Models of Homotopy Type Theory (Abstract)
11(2)
Steve Awodey
Modelling Infinite Structures with Atoms
13(16)
Mikotaj Bojanczyk
Counting in SPARQL Property Paths: Perspectives from Theory and Practice
29(2)
Wim Martens
Quantitative Approaches to Information Protection
31(2)
Catuscia Palamidessi
Perspectives of Dynamic Complexity
33(1)
Thomas Schwentick
Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach
34(15)
Lais Andrade
Ruan Carvalho
Anjolina de Oliveira
Ruy de Queiroz
First Order Extensions of Residue Classes and Uniform Circuit Complexity
49(15)
Argimiro Arratia
Carlos E. Ortiz
Quantum Probabilistic Dyadic Second-Order Logic
64(17)
Alexandru Baltag
Jort M. Bergfeld
Kohei Kishida
Joshua Sack
Sonja J.L. Smets
Shengyang Zhong
Structural Extensions of Display Calculi: A General Recipe
81(15)
Agata Ciabattoni
Revantha Ramanayake
The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic
96(15)
Sjur Kristoffer Dyrkolbotn
Boolean Dependence Logic and Partially-Ordered Connectives
111(15)
Johannes Ebbing
Lauri Hella
Peter Lohmann
Jonni Virtema
Extended Modal Dependence Logic EMDL
126(12)
Johannes Ebbing
Lauri Hella
Arne Meier
Julian-Steffen Muller
Jonni Virtema
Heribert Vollmer
Dependence Logic with Generalized Quantifiers: Axiomatizations
138(15)
Fredrik Engstrom
Juha Kontinen
Jouko Vaananen
Continuous Truth II: Reflections
153(15)
Michael P. Fourman
A Simple Separation Logic
168(11)
Andreas Herzig
Independence in Database Relations
179(15)
Juha Kontinen
Sebastian Link
Jouko Vaananen
Substructural Logic of Proofs
194(17)
Hidenori Kurokawa
Hirohiko Kushida
Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics
211(15)
Yoshihiro Maruyama
A Finite Model Property for Godel Modal Logics
226(12)
Xavier Caicedo
George Metcalfe
Ricardo Rodriguez
Jonas Rogger
Model Checking for Modal Dependence Logic: An Approach through Post's Lattice
238(13)
Julian-Steffen Muller
Heribert Vollmer
Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL
251(15)
Philippe Balbiani
Emiliano Lorini
Information, Awareness and Substructural Logics
266(17)
Igor Sedlar
Author Index 283
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97836423999232e.html
Märksõnad: