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

Logic from Computer Science

Logic from Computer Science

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

The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November 13-17, 1989, and for those who did not get it, Logic from Computer Science is the converse of Logic in Computer Science, the full name of the highly successful annual LICS conferences. We meant to have a conference which would bring together the LICS commu nity with some of the more traditional "mathematical logicians" and where the emphasis would be on the flow of ideas from computer science to logic rather than the other way around. In a LICS talk, sometimes, the speaker presents a perfectly good theorem about (say) the A-calculus or finite model theory in terms of its potential applications rather than its (often more ob vious) intrinsic, foundational interest and intricate proof. This is not meant to be a criticism; the LICS meetings are, after all, organized by the IEEE Computer Society. We thought, for once, it would be fun to see what we would get if we asked the speakers to emphasize the relevance of their work for logic rather than computer science and to point out what is involved in the proofs. I think, mostly, it worked. In any case, the group of people represented as broad a selection of logicians as I have seen in recent years, and the quality of the talks was (in my view) exceptionally, unusually high. I learned a lot and (I think) others did too.

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

Single Product Purchase

$84.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
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Constructing Methodology for Qualitative Research

$139.99

Advances in Psychology and Law

$169.99

How to Feed Your Parents

$5.21

Kostenorientiertes Qualittscontrolling

$74.99

Surfactants in Solution

$329.99

Die Arten der Schlaganflle des Gehirns und ihre Entstehung

$69.99

Thirty Years with the Big Bands

$29.99

MathCamp + LitCamp Blue Bunk Grades 4-5

$1,289.00

Artificial Intelligence in Neuroscience: Affective Analysis and Health Applications

$99.99

Cyprus

$54.99

Applying Language Technology in Humanities Research

$54.99

Wandel im Finanzdienstleistungssektor

$59.99

Formal Methods for Open Object-Based Distributed Systems V

$84.99

Begutachtung der Schwerhrigkeit bei Lrmarbeitern

$79.99

Crime, Deviance and Popular Culture

$179.99

Quantitative Risk Analysis of Air Pollution Health Effects

$159.99

UX Optimization

$44.99

Topics in Modal Analysis, Volume 10

$169.99

Little Critter: Just Me in the Tub

$3.71

Reforesting Landscapes

$169.00

Modalities and Multimodalities

$169.99

Semantic Web Technologies and Legal Scholarly Publishing

$54.99

Matthew Lipman and Ann Margaret Sharp

$39.99

Arbitrage Theory

$54.99

Biocompatibility of Co-Cr-Ni Alloys

$39.99

Ansthesiologische Praxis

$54.99

The Securitization of Foreign Aid

$139.99

Tutorium Optik

$29.99

Connectivity and Edge Computing in IoT: Customized Designs and AI-based Solutions

$139.99

Human Virology in Latin America

$169.99

Arzneimittelsicherheit - Wunsch und Wirklichkeit

$69.95

Untersuchung von Bezugsmaterialkonzepten unter Verwendung nachwachsender Rohstoffe fr die Anwendung

$74.99

Rapid Methods in Clinical Microbiology

$39.99

Surface Science of Intercalation Materials and Solid Electrolytes

$54.99

The Climate of the Arctic

$209.00

Gender and the Politics of Gradual Change

$84.99

Football Brands

$54.99

Organic Metal and Metalloid Species in the Environment

$169.99

HNO Praxis heute

$34.99

Die Integrieranlage des Rheinisch-Westflischen Instituts fr Instrumentelle Mathematik in Bonn

$59.99