Logic for Computer Scientists - Uwe Schoening - Books - Birkhauser Boston Inc - 9780817647629 - January 11, 2008
In case cover and title do not match, the title is correct

Logic for Computer Scientists 1st ed. 1989. 2nd printing 2008. Softcover reprint edition

Uwe Schoening

Price
R$ 389.45

Ordered from remote warehouse

Expected delivery Jul 15 - 23
Add to your iMusic wish list

Logic for Computer Scientists 1st ed. 1989. 2nd printing 2008. Softcover reprint edition

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.


177 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 11, 2008
ISBN13 9780817647629
Publishers Birkhauser Boston Inc
Pages 168
Dimensions 162 × 236 × 12 mm   ·   272 g
Language English  

Show all

More by Uwe Schoening