The logical basis for computer programming

Saved in:

Bibliografiske detaljer
Main Authors:	Manna, Zohar (autor), Waldinger, Richard (Author)
Format:	Bog
Sprog:	engelsk
Udgivet:	Reading Addison-Wesley Publishing Company 1985
Fag:	Programación de computadores Lógica simbólica Lógica matemática Lógica proposicional LOGICA DE PREDICADOS Razonamiento deductivo RAZONAMIENTO INDUCTIVO
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Biblioteca de Matemática -

Detaljer om beholdninger fra Biblioteca de Matemática -
Klassifikationsnummer:	005.1 MAN 1985
Kopi 1496727 (v.1)	Tilgængelig Reservér”