Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series - Zbigniew Stachniak - Bøger - Springer - 9789401072519 - 1. oktober 2011
Ved uoverensstemmelse mellem cover og titel gælder titel

Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series Softcover Reprint of the Original 1st Ed. 1996 edition

Zbigniew Stachniak

Pris
DKK 861

Bestilles fra fjernlager

Forventes klar til forsendelse 12. - 18. aug.
Tilføj til din iMusic ønskeseddel
Eller

Findes også som:

Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series Softcover Reprint of the Original 1st Ed. 1996 edition

223 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 1. oktober 2011
ISBN13 9789401072519
Forlag Springer
Antal sider 208
Mål 160 × 240 × 12 mm   ·   326 g

Vis alle

Mere med Zbigniew Stachniak