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.

Altre edizioni note dello stesso titolo

9781447173618: Mathematical Logic for Computer Science, 2/E (Indian Reprint) [Paperback]

Edizione in evidenza

ISBN 10:  1447173619 ISBN 13:  9781447173618
Brossura