Articoli correlati a Mathematical Logic for Computer Science

Mathematical Logic for Computer Science - Brossura

Ben-Ari, Mordechai

 
9780135641392: Mathematical Logic for Computer Science

Sinossi

Covers propositional calculus, predicate calculus, resolution and logic programming, temporal logic, and formalization of programs

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by BenAri Mordechai BenAri M

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.