• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Systemvetenskap och AI

      Logic, Language, Information, and Computation

      AvLuke Ong,Ruy de Queiroz

      Häftad, Engelska, 2012

      Del i serien Lecture Notes in Computer Science

      549 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in September 2012. The papers accompanying 8 invited lectures are presented together with 16 contributed papers; the latter were carefully reviewed and selected from 46 submissions. The papers report advances in inter-disciplinary research involving formal logic, theory of computation, foundations of mathematics, and computational linguistics.

      Produktinformation

      • Utgivningsdatum:2012-07-16
      • Mått:155 x 235 x 20 mm
      • Vikt:534 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:337
      • Upplaga:2
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783642326202

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programmeringsböcker inom Data och IT
      • Diskret matematik inom Naturvetenskap och teknik

      Innehållsförteckning

      • Formalizing Turing Machines.- Equivalence Relations That Are Σ0 3 Complete for Computable Reducibility.-An Analysis of Directed Motion Expressions with Lexicalized Tree Adjoining Grammars and Frame Semantics.-Admissible Rules: From Characterizations to Applications.-On Distributed Monitoring of Asynchronous Systems.-On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates.-Logical Methods in Quantum Information Theory.-Quantifying Notes.-Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders.-Initiality for Typed Syntax and Semantics.-Moving Arrows and Four Model Checking Results.-Standard Completeness for Extensions of MTL: An Automated Approach.-The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge.-Minimization via Duality.-On Some Subclasses of the Fodor-Roubens Fuzzy Bi-implication.-Linearity in the Non-deterministic Call-by-Value Setting.-Polynomial-Time Solution of Initial Value Problems Using Polynomial Enclosures.-Algorithmic Randomness and Ramsey Properties of Countable Homogeneous Structures.-Propositional Reasoning about Saturated Conditional Probabilistic Independence.-Contracting Logics.-A Tight Upper Bound on the Number of Variables for Average-Case k-Clique on Ordered Graphs.-Preservation under Substructures modulo Bounded Cores.-A Logic of Plausible Justifications.-Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics.-
      Hoppa över listan

      Du kanske också är intresserad av

      Ruy de Queiroz, Luke Ong - Logic, Language, Information, and Computation, E-bok

      Logic, Language, Information, and Computation

      Ruy de Queiroz, Luke Ong

      E-bok
      2012

      718 kr

      Prakash Panangaden, Luke Ong, Bob Coecke - Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky, E-bok

      Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky

      Prakash Panangaden, Luke Ong, Bob Coecke

      E-bok
      2013

      732 kr

      Luke Ong - Typed Lambda Calculi and Applications, E-bok

      Typed Lambda Calculi and Applications

      Luke Ong

      E-bok
      2011

      712 kr

      Luke Ong - Computer Science Logic, E-bok

      Computer Science Logic

      Luke Ong

      E-bok
      2005

      718 kr

      Luke Ong - Typed Lambda Calculi and Applications, Häftad

      Typed Lambda Calculi and Applications

      Luke Ong

      Häftad, 2011

      558 kr

      Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong - Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008, Inbunden

      Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

      Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong

      Inbunden, 2008

      1 659 kr

      Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong - Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008, Häftad
      Del 273

      Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

      Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong

      Häftad, 2010

      1 663 kr

      Luke Ong, Zhenhua Duan - Formal Methods and Software Engineering, E-bok

      Formal Methods and Software Engineering

      Luke Ong, Zhenhua Duan

      E-bok
      2017

      732 kr

      Luke Ong - Foundations of Software Science and Computational Structures, E-bok

      Foundations of Software Science and Computational Structures

      Luke Ong

      E-bok
      2010

      739 kr

      Luke Ong - Computer Science Logic, Häftad

      Computer Science Logic

      Luke Ong

      Häftad, 2005

      574 kr