CURRENTLY SOLD OUT

Termersetzungssysteme by Klaus Drosten (Paperback, 1989)

About this product

Product Information

Termersetzungssysteme sind ein nicht-deterministisches Berechnungsmodell aus dem Bereich der funktionalen Programmierung. Die Funktionen werden durch rekursive Regeln spezifiziert und durch Untertermersetzung ohne explizite Kontrolle ausgewertet. Die logische Programmierung geht auf den Anfang der 70er Jahre zuruck und wurde besonders popular in Verbindung mit der Programmiersprache PROLOG. Die algebraische Programmierung entstand in ihren Grundzugen Mitte der 70er Jahre, als die ersten Arbeiten uber die Spezifikation abstrakter Datentypen veroffentlicht wurden. Obwohl die algebraische und die logische Programmierung auf gemeinsamen Prinzipien beruhen, entwickelten sie sich zunachst unabhangig voneinander. Erst in jungster Zeit wurde mit Erfolg versucht, beide Ansatze in einem gemeinsamen Kalkul zu vereinen. Das Buch wendet sich an alle, die an den theoretischen Grundlagen der algebraischen und logischen Programmierung interessiert sind. Es gibt zunachst einen Uberblick uber die Grundlagen der Ausfuhrung algebraischer Spezifikationen sowie eine Zusammenfassung der benotigten Grundbegriffe. Das Grundkonzept der algebraischen Spezifikation wird um Ausdrucksmittel zur Fehlerbehandlung und Modularisierung in abstrakten Datentypen erweitert. Die Ausdrucksmittel werden besonders im Hinblick auf ihre Operationalisierbarkeit untersucht. Ausserdem wird gezeigt, wie (und wann) sich algebraische Spezifikationen automatisch in PROLOG-Programme ubersetzen und mit deren Hilfe ausfuhren lassen. Zum besseren Verstandnis des Textes sind Grundkenntnisse der mathematischen Logik hilfreich.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540511724
eBay Product ID (ePID)
117473191

Product Key Features

Author
Klaus Drosten
Publication Name
Termersetzungssysteme
Format
Paperback
Language
German
Subject
Computer Science
Publication Year
1989
Type
Textbook
Number of Pages
160 Pages

Dimensions

Volume
210
Item Weight
310g

Additional Product Features

Title_Author
Klaus Drosten
Series Title
Informatik-Fachberichte / Subreihe Kunstliche Intelligenz
Country/Region of Manufacture
Germany

Best Selling in Adult Learning & University

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Australian Guidebook for Structural Engineers by Lonnie Pack (Paperback, 2019)
No ratings or reviews yet.
AU $84.19 New
---- Used
Eduqas GCSE (9-1) Religious Studies Route B: Catholic Christianity and Judaism by Deirdre Cleary, Andrew Barron, Joy White, Patrick Harrison (Paperback, 2017)
No ratings or reviews yet.
AU $100.97 New
---- Used
Time Management by Peter Quarry (Paperback, 1986)
No ratings or reviews yet.
AU $16.99 New
---- Used
The Ethnic Cleansing of Palestine by Ilan Pappe (Paperback, 2007)
5.0 out of 5 stars based on 1 product rating
AU $35.34 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

The Australian Native Bee Hive Book: Keeping Stingless Sugarbag OATH Tim Heard
AU $31.98
Trending at AU $35.55
Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by A
AU $19.95
Trending at AU $20.64
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $122.07
Classical Mechanics: The Theoretical Minimum by George Hrabovsky
AU $27.46
Trending at AU $31.57
Havard's Nursing Guide to Drugs
AU $74.99
Trending at AU $76.69
T. Jared Bunch Matthew LaPlante John D. Day The AFib Cure (Paperback)
AU $42.25
Trending at AU $45.44

Shop by category

Termersetzungssysteme by Klaus Drosten (Paperback, 1989)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Best Selling in Adult Learning & University

Australian Guidebook for Structural Engineers by Lonnie Pack (Paperback, 2019)

Eduqas GCSE (9-1) Religious Studies Route B: Catholic Christianity and Judaism by Deirdre Cleary, Andrew Barron, Joy White, Patrick Harrison (Paperback, 2017)

Time Management by Peter Quarry (Paperback, 1986)

The Ethnic Cleansing of Palestine by Ilan Pappe (Paperback, 2007)

Save on Adult Learning & University

The Australian Native Bee Hive Book: Keeping Stingless Sugarbag OATH Tim Heard

Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by A

Netter Atlas of Human Anatomy: Classic Regional Approach

Classical Mechanics: The Theoretical Minimum by George Hrabovsky

Havard's Nursing Guide to Drugs

T. Jared Bunch Matthew LaPlante John D. Day The AFib Cure (Paperback)

You may also like

Paperback Calendars (Current)

Australian Paperbacks

Paperback Books, Comics & Magazines

Paperback Textbooks

Vintage Paperback Paperback Books, Comics & Magazines

Paperbacks Books