Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings: Lecture Notes in Computer Science, cartea 6188
Editat de Anuj Dawar, Ruy de Queirozen Limba Engleză Paperback – 17 iun 2010
Din seria Lecture Notes in Computer Science
- 20%
Preț: 461.83 lei - 20%
Preț: 461.57 lei - 20%
Preț: 424.26 lei - 20%
Preț: 390.69 lei - 20%
Preț: 498.50 lei - 15%
Preț: 388.50 lei - 20%
Preț: 390.35 lei - 20%
Preț: 460.98 lei - 20%
Preț: 461.52 lei - 20%
Preț: 497.55 lei - 20%
Preț: 389.72 lei - 20%
Preț: 461.83 lei - 20%
Preț: 389.90 lei - 20%
Preț: 497.04 lei - 20%
Preț: 462.05 lei - 20%
Preț: 391.14 lei - 20%
Preț: 389.85 lei - 20%
Preț: 461.32 lei - 20%
Preț: 498.32 lei - 20%
Preț: 496.64 lei - 20%
Preț: 532.28 lei - 20%
Preț: 527.36 lei - 20%
Preț: 498.46 lei - 15%
Preț: 461.85 lei - 20%
Preț: 390.12 lei - 20%
Preț: 532.41 lei - 20%
Preț: 462.24 lei - 20%
Preț: 391.14 lei - 20%
Preț: 461.77 lei - 20%
Preț: 390.35 lei - 20%
Preț: 461.06 lei - 20%
Preț: 461.65 lei - 20%
Preț: 390.18 lei - 20%
Preț: 392.64 lei - 20%
Preț: 252.15 lei - 20%
Preț: 390.94 lei - 20%
Preț: 461.52 lei - 20%
Preț: 391.86 lei - 20%
Preț: 532.54 lei - 20%
Preț: 462.67 lei - 20%
Preț: 461.65 lei - 20%
Preț: 639.72 lei - 20%
Preț: 255.91 lei - 15%
Preț: 535.92 lei - 20%
Preț: 535.77 lei - 5%
Preț: 516.27 lei - 20%
Preț: 499.36 lei - 20%
Preț: 391.20 lei - 20%
Preț: 391.20 lei - 20%
Preț: 249.95 lei
Preț: 322.61 lei
Preț vechi: 403.26 lei
-20% Nou
Puncte Express: 484
Preț estimativ în valută:
57.08€ • 67.03$ • 50.11£
57.08€ • 67.03$ • 50.11£
Carte tipărită la comandă
Livrare economică 27 ianuarie-10 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783642138232
ISBN-10: 3642138233
Pagini: 272
Ilustrații: X, 259 p. 28 illus.
Greutate: 0.5 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642138233
Pagini: 272
Ilustrații: X, 259 p. 28 illus.
Greutate: 0.5 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics.- A CTL-Based Logic for Program Abstractions.- Application of Logic to Integer Sequences: A Survey.- The Two-Variable Fragment with Counting Revisited.- Intuitionistic Logic and Computability Theory.- Foundations of Satisfiability Modulo Theories.- Logical Form as a Determinant of Cognitive Processes.- Formal Lifetime Reliability Analysis Using Continuous Random Variables.- Modal Logics with Counting.- Verification of the Completeness of Unification Algorithms à la Robinson.- Mechanisation of PDA and Grammar Equivalence for Context-Free Languages.- On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations.- Decidability and Undecidability Results on the Modal ?-Calculus with a Natural Number-Valued Semantics.- Solving the Implication Problem for XML Functional Dependencies with Properties.- On Anaphora and the Binding Principles in Categorial Grammar.- Feasible Functions over Co-inductive Data.- Interval Valued Fuzzy Coimplication.- Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures.- Intersection Type Systems and Explicit Substitutions Calculi.- Generalising Conservativity.