Mathematical Logic for Computer Science - Brossura

Ben-Ari, Mordechai

 
9780135641392: Mathematical Logic for Computer Science
Brossura
ISBN 10: 013564139X ISBN 13: 9780135641392
Casa editrice: Prentice Hall, 1992

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.

Editore
Prentice Hall
Data di pubblicazione
1992
Lingua
Inglese
ISBN 10 
013564139X
ISBN 13 
9780135641392
Rilegatura
Copertina flessibile
Numero di pagine
320
Contatto del produttore
non disponibile
Persona responsabile
Yeepin GmbH
492000000000
sunshine12232@outlook.com

Alleestr.11
Kaiserslautern
Rheinland-Pfalz
67655
Germania

Altre edizioni note dello stesso titolo

9781447141303: Mathematical Logic for Computer Science

Edizione in evidenza

ISBN 10:  144714130X ISBN 13:  9781447141303
Casa editrice: Springer, 2012
Brossura