Resolution Methods for the Decision Problem - Lecture Notes in Computer Science - C. Fermuller - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540567325 - 29 juli 1993
Om omslag och titel inte matchar är det titeln som gäller

C. Fermuller
Resolution Methods for the Decision Problem - Lecture Notes in Computer Science 1993 edition

Pris
SEK 549

Beställningsvara

Förväntad leverans 26 jun - 6 jul

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

This volume contains work on the decision problem done in Kazan (Russia), Tallinn (Estonia) and Vienna (Austria). Among the topics covered are: semantic clash resolution as decision procedure; completeness of ordering refinements; and a resolution based method for building finite models.

248 pages, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 29 juli 1993
ISBN13 9783540567325
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 248
Mått 155 × 233 × 11 mm   ·   312 g
Språk Engelska  

Mere med samme udgiver

Se alt med C. Fermuller ( t.ex. Pocketbok )