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	Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä	tiistai 30. huhtikuuta 1996
ISBN13	9780792340171
Tuottaja	Kluwer Academic Publishers
Sivujen määrä	208
Mitta	156 × 234 × 14 mm · 498 g
Kieli	English

Näytä kaikki

Lisää tuotteita Zbigniew Stachniak

Katso kaikki joka sisältää Zbigniew Stachniak ( Esim. Hardcover Book Ja Paperback Book )