Resolution Methods for the Decision Problem - Lecture Notes in Computer Science - C. Fermuller - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540567325 - 29 juli 1993
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 50,99

Besteld in een afgelegen magazijn

Verwachte levering 17 - 25 jun.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 29 juli 1993
ISBN13 9783540567325
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 248
Afmetingen 155 × 233 × 11 mm   ·   312 g
Taal en grammatica Engels  

Mere med samme udgiver

Bekijk alles van C. Fermuller ( bijv. Paperback Book )