Reduktionssysteme

Name: Reduktionssysteme
Brand: Springer Nature
SKU: 9783540585596
Availability: InStock

Best Price (Coupon Required):
Buy Reduktionssysteme for $49.50 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.

1 Offer Price Range: $54.99 - $54.99

BEST PRICE

Single Product Purchase

$49.50

@ Link.springer.com with extra coupon

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		$54.99	$54.99		10% OFF This deals requires coupon	$49.50		See Site	In stock	Visit Store

Product Details

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783540585596

Condition

New

Product Description

Reduktions- und Vervollstndigungstechniken dienen zum Rechnen und Schlieen in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datentypen. In dieser ersten systematischen Einfhrung in das Gebiet der Reduktionssysteme werden die Grundlagen entwickelt und auf unterschiedliche Ersetzungssysteme angewandt. Themenschwerpunkte sind: 1. denotationale, operationale und rewrite-basierte Semantik, 2. effiziente und nachweisbar korrekte Vervollstndigungsalgorithmen, 3. Inferenzsysteme, die auf Beweistransformation und Beweisordnung basieren und 4. prinzipielle Entscheidbarkeit von grundlegenden Eigenschaften. Das Buch eignet sich fr eine Vorlesung im Informatik-Hauptstudium. Durch Beispiele und bungsaufgaben wird die anschauliche und bersichtliche Darstellung abgerundet. Fr Studenten und Wissenschaftler auf dem Gebiet der Mathematischen Logik und formalen Sprachen, der Logik und Semantik von Programmiersprachen und der knstlichen Intelligenz.

Available Colors

N/A

Available Sizes

N/A