Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Computer Science Logic
Best Price (Coupon Required):
Buy Computer Science Logic for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stable logic, term rewriting systems, termination of logic programs, transitive closure logic, variants of resolution, and many others.
Reviews
Questions & Answers
Signal and Information Processing, Networking and Computers
$169.00
Vergasung fester Brennstoffe
$59.99
Intelligent Media Agents
$54.99
Structural Optimization and Experimental Investigation of the Organic Rankine Cycle for Solar Therma
$54.99
Der Einflu der Unternehmensgre auf die Rentabilitt von Industrieunternehmen
$59.99
New Horizons for Failing Heart Syndrome
$39.99
Financial Markets and Corporate Reporting under Geopolitical Risks
$189.00
Theorie der Gewhnlichen Differentialgleichungen
$64.99
Nuclear Condensed Matter Physics with Synchrotron Radiation
$169.00
Teaching Africa
$84.99
Powdery Mildew Disease of Crucifers: Biology, Ecology and Disease Management
$129.00
Effective Public Administration Strategies for Global "New Normal"
$169.99
Environmental Software Systems. Fostering Information Sharing
$109.99
Comparative Welfare Capitalism in East Asia
$54.99
The Millennial Generation and National Defense
$54.99
Natural Disaster and Reconstruction in Asian Economies
$109.99
Heat Shock Proteins and Whole Body Physiology
$219.99
Aufgaben aus der technischen Mechanik
$49.99
Z User Workshop, Oxford 1990
$54.99
Extrinsic Geometry of Foliations
$129.99
Hazardous Decisions
$169.00
Seismic Love Waves
$39.99
Observed Climate Variability and Change over the Indian Region
$169.99
PC nach Ma
$59.99
Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big D
$54.99
First Little Comics Levels C & D (Multiple-Copy Set)
$76.49
The Family Council Handbook
$59.99
Energy in Africa
$24.99
Cataract and Refractive Surgery
$84.99
Gauge Theories of the Eighties
$39.99
Gefahren, Gefhrdungsbild und ein Sicherheitskonzept
$54.99
The Burning Maze (The Trials of Apollo Series #3) by Rick Riordan
$9.99
The Police Mystique
$54.99
Nationality, Citizenship and Ethno-Cultural Belonging
$39.99
Auswuchttechnik
$229.99
Fahrzeugentwicklung im Wandel
$44.99
Microplastic in the Environment: Pattern and Process
$59.99
Harmonising Demographic and Socio-Economic Variables for Cross-National Comparative Survey Research
$84.99
Forest Decline and Atmospheric Deposition Effects in the French Mountains
$84.99
Theorising Muriel Spark
$54.99
