Logic, Language, Information and Computation
Editat de Daniel Leivant, Ruy De Queirozen Limba Engleză Paperback – 15 iun 2007
Preț: 326.05 lei
Preț vechi: 407.56 lei
-20%
Puncte Express: 489
Carte tipărită la comandă
Livrare economică 08-22 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540734437
ISBN-10: 3540734430
Pagini: 376
Ilustrații: X, 366 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.57 kg
Ediția:2007
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540734430
Pagini: 376
Ilustrații: X, 366 p.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.57 kg
Ediția:2007
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
A Grammatical Representation of Visibly Pushdown Languages.- Fully Lexicalized Pregroup Grammars.- Bounded Lattice T-Norms as an Interval Category.- Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps.- Continuation Semantics for Symmetric Categorial Grammar.- Ehrenfeucht–Fraïssé Games on Linear Orders.- Hybrid Logical Analyses of the Ambient Calculus.- Structured Anaphora to Quantifier Domains: A Unified Account of Quantificational and Modal Subordination.- On Principal Types of BCK-?-Terms.- A Finite-State Functional Grammar Architecture.- Pregroup Calculus as a Logic Functor.- A Formal Calculus for Informal Equality with Binding.- Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm.- An Introduction to Context Logic.- Numerical Constraints for XML.- Modules over Monads and Linearity.- Hydra Games and Tree Ordinals.- Spin Networks, Quantum Topology and Quantum Computation.- Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus.- Computational Interpretations of Classical Linear Logic.- Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures.- Interval Valued QL-Implications.- Behavioural Differential Equations and Coinduction for Binary Trees.- A Sketch of a Dynamic Epistemic Semiring.- A Modal Distributive Law (abstract).- Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing.