Reviews for Automated Reasoning with Analytic Tableaux and Related Methods, Vol. 122

The average rating for Automated Reasoning with Analytic Tableaux and Related Methods, Vol. 122 based on 2 reviews is 3.5 stars.

Review # 1 was written on 2010-01-06 00:00:00 Danielle Alexander Contains very simple mathematics useful in electronics and computers. Digital number systems (binary, octal, hexadecimal), logic (AND, OR, NOT, etc) along with algebra level concepts.

Review # 2 was written on 2007-10-16 00:00:00 Philippe Gagnon a good book to learn