The logical basis for computer programming

Guardat en:

Dades bibliogràfiques
Autors principals:	Manna, Zohar (autor), Waldinger, Richard (Autor)
Format:	Llibre
Idioma:	anglès
Publicat:	Reading Addison-Wesley Publishing Company 1985
Matèries:	Programación de computadores Lógica simbólica Lógica matemática Lógica proposicional LOGICA DE PREDICADOS Razonamiento deductivo RAZONAMIENTO INDUCTIVO
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

MARC


LEADER	00000nam a2200000 a 4500
001	UCQ8059
003	CL-VaPUC
008	981127e19850000US \|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|eng\|d
082	0	4	\|a 005.1 \|b MAN \|2 21
100			\|a Manna, Zohar \|e autor \|9 421898
700	0		\|a Waldinger, Richard \|e author \|9 421899
245	1	4	\|a The logical basis for computer programming
300			\|a v
942			\|c BK
945			\|d 19981127 00:00:00 \|a crobeson
260			\|a Reading \|b Addison-Wesley Publishing Company \|c 1985
650		0	\|a Programación de computadores \|9 259531
650		0	\|a Lógica simbólica \|9 269868
650		0	\|a Lógica matemática \|9 262442
650		0	\|a Lógica proposicional \|9 421893
650		7	\|a LOGICA DE PREDICADOS \|2 CL-VaPUC \|9 421900
650		0	\|a Razonamiento deductivo \|9 383067
650		7	\|a RAZONAMIENTO INDUCTIVO \|2 CL-VaPUC \|9 421901
583			\|a last modification \|c 19981127 00:00:00 \|k Rodrigo Vera
999			\|c 277420 \|d 277418