Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Logical Foundations of Computer Science

Logical Foundations of Computer Science

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642357220
Condition
New
Product Description

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is broad and includes constructive mathematics and type theory; logic, automata and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logic; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Introduction to Soergel Bimodules

$139.00

Clinical Pharmacology in the Elderly

$54.99

G Protein-Coupled Receptors

$39.99

New Frontiers of Molecular Epidemiology of Infectious Diseases

$139.00

State of the Union 2010

$34.99

Transnational Human Rights Litigation

$159.99

Aging Across Cultures

$159.99

Oracle Database 12c Performance Tuning Recipes

$99.99

Theory of Heat

$74.99

Vorlesungen ber Bedeutungslehre Sommersemester 1908

$449.99

Product-Focused Software Process Improvement

$39.99

Geomorphology of the Tropics

$219.99

Equilibrium Facility Location on Networks

$109.99

Erfolgsstrategien fr Zulieferer

$59.99

Lecture Notes in Quantum Chemistry II

$139.99

Fliepressen von Stahl im Temperaturbereich 773 K (500C) bis 1073 (800C)

$84.99

Logic Programming and Nonmonotonic Reasoning

$39.99

Virtual Reality for Psychological and Neurocognitive Interventions

$119.00

The Performing Subject in the Space of Technology

$119.99

Mathematical Modeling of Complex Biological Systems

$109.99

Accidents in the Year 2000

$74.99

Pollution Control Instrumentation for Oil and Effluents

$129.00

Children in the Films of Alfred Hitchcock

$109.99

Types of Sentences Grade 5 Differentiation Pack

$5.99

Un silln para mi mam

$5.21

Petal's Party (Lucky Bunnies #2)

$4.49

Experimental Models of Cardiovascular Diseases

$169.99

The Freedom of the Self

$39.99

Agriculture as a Mimic of Natural Ecosystems

$219.99

Changing Metal Cycles and Human Health

$84.99

Gesellschaft, Schule und mediale ffentlichkeit

$74.99

Ant Colony Optimization and Swarm Intelligence

$39.99

The New Regionalism and the Future of Security and Development

$54.99

Butler's British Political Facts

$64.99

Deformation and Failure Mechanism of Excavation in Clay Subjected to Hydraulic Uplift

$54.99

World Women in Mathematics 2018

$54.99

Recent Innovations in Artificial Intelligence and Smart Applications

$129.00

Hybrid Information Systems

$109.99

Transition-Age Youth Mental Health Care

$129.99

Rntgenpathologie der Lungentuberkulose

$59.99