Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series - Zbigniew Stachniak - Boeken - Kluwer Academic Publishers - 9780792340171 - 30 april 1996
Indien omslag en titel niet overeenkomen, is de titel correct

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

Zbigniew Stachniak

Prijs
€ 123,49

Besteld in een afgelegen magazijn

Verwachte levering 10 - 19 dec.
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

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

Ook verkrijgbaar als:

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 Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 30 april 1996
ISBN13 9780792340171
Uitgevers Kluwer Academic Publishers
Pagina's 208
Afmetingen 156 × 234 × 14 mm   ·   498 g
Taal en grammatica Engels  
Alles tonen

Meer door Zbigniew Stachniak

Bekijk alles van Zbigniew Stachniak ( bijv. Hardcover Book en Paperback Book )