20% OFF

Resolution Calculus eBook

by Alexander Leitsch
language: english
Publisher: Springer Berlin Heidelberg, December of 2012 ‧
59,61€
47,69€
20% OFF
IMMEDIATE AVAILABILITY
Ebook for ADE
DIGITAL SUNDAY SEE MORE ITEMS ON SALE
This is a presentation of resolution as a logical calculus and as a basis for computational algorithms and decision procedures. The book deals with the traditional topics in new ways and gives a systematic treatment of recent research topics.

Resolution Calculus

by Alexander Leitsch

Property Description
ISBN: 9783642606052
Publisher: Springer Berlin Heidelberg
Release Date: December of 2012
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Categories: eBooks in English > Science > Mathematics
EAN: 9783642606052