Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series - Zbigniew Stachniak - Böcker - Kluwer Academic Publishers - 9780792340171 - 30 april 1996
Om omslag och titel inte matchar är det titeln som gäller

Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series 1996 edition

Zbigniew Stachniak

Pris
SEK 1.429

Beställningsvara

Förväntad leverans 9 - 18 dec
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

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

Finns även som:

Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series 1996 edition

This text develops an algebraic theory of resolution proof systems, focusing on the problems of proof theory, representation and efficiency of the deductive process.

208 pages, biography

Media Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 30 april 1996
ISBN13 9780792340171
Utgivare Kluwer Academic Publishers
Antal sidor 208
Mått 156 × 234 × 14 mm   ·   498 g
Språk Engelska  
Visa alla

Fler produkter med Zbigniew Stachniak

Se alt med Zbigniew Stachniak ( t.ex. Inbunden Bok och Pocketbok )