Usted se encuentra revisando un registro bibliográfico de la BDU Para conocer mas sobre la Base de Datos Unificada haga click en el ícono del home

Titulos:
Lógica informática / José Cuena.
ISBN:
8420686018
Lugar de Edición:
Madrid :
Editor:
Alianza Editorial,
Fecha de Edición:
c1985.
Notas #:
Bibliografía en p. 547-552; Incluye un memento
Palabras clave:
Automatic theorem proving.; AUTOMATIZACION; CALCULO; DEDUCCION; DISEÑO LOGICO; INFORMATICA; INGENIERIA DE PROGRAMAS INFORMATICOS; INTELIGENCIA ARTIFICIAL; LENGUAJES DE COMPUTACION; LENGUAJES DE PROGRAMACION; Logic, Symbolic and mathematical.; LOGICA; PROGRAMACION DE COMPUTADORAS; PROGRAMAS INFORMATICOS; ROBOTICA; SEMANTICA

Leader:
nam
Campo 003:
OCoLC
Campo 008:
920326s1985 sp b 000 0 spa d
Campo 020:
^a8420686018
Campo 100:
1 ^aCuena, José.
Campo 245:
10^aLógica informática /^cJosé Cuena.
Campo 246:
Campo 260:
^aMadrid :^bAlianza Editorial,^cc1985.
Campo 300:
^aiv, 552 ;^c23 cm. +^e"Memento".
Campo 490:
0 ^aAlianza informatica
Campo 500:
^aBibliografía en p. 547-552
Campo 500:
^aIncluye un memento
Campo 650:
0^aAutomatic theorem proving.
Campo 650:
4^aAUTOMATIZACION
Campo 650:
4^aCALCULO
Campo 650:
4^aDEDUCCION
Campo 650:
4^aDISEÑO LOGICO
Campo 650:
4^aINFORMATICA
Campo 650:
4^aINGENIERIA DE PROGRAMAS INFORMATICOS
Campo 650:
4^aINTELIGENCIA ARTIFICIAL
Campo 650:
4^aLENGUAJES DE COMPUTACION
Campo 650:
4^aLENGUAJES DE PROGRAMACION
Campo 650:
0^aLogic, Symbolic and mathematical.
Campo 650:
4^aLOGICA
Campo 650:
4^aPROGRAMACION DE COMPUTADORAS
Campo 650:
4^aPROGRAMAS INFORMATICOS
Campo 650:
4^aROBOTICA
Campo 650:
4^aSEMANTICA
Proveniencia:
^aBNM
Seleccionar y guardar el registro Haga click en el botón del carrito
Institucion:
Base de Datos MARC21 - OCLC
Dependencia:
BDUMARC21

Compartir este registro en Redes Sociales

Seleccionar y guardar el registro Haga click en el botón del carrito