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 )