Vista normal Vista MARC Vista ISBD

Computational logic / edited by Ulrich Berger, Helmut Schwichtenberg.

Colaborador(es): Berger, Ulrich, 1956- | Schwichtenberg, Helmut, 1942- | North Atlantic Treaty Organization. Scientific Affairs Division | NATO Advanced Study Institute on Computacional Logic (1997 : Marktoberdorf, Germany)Tipo de material: Texto

TextoIdioma: Inglés Series NATO ASI series. Series F. Computer and Systems Sciences ; ; vol. 165.Detalles de publicación: Berlin : Springer, 1999Descripción: 444 p. ; 24 cmISBN: 3-540-64589-6Tema(s): Logica por computadoraClasificación LoC:QA76.9 | .L63 C65

Existencias ( 1 )
Notas de título ( 2 )

Existencias
Tipo de ítem	Biblioteca actual	Colección	Signatura	Copia número	Estado	Fecha de vencimiento	Código de barras
Libro	Biblioteca Central Ensenada	Acervo General	QA76.9 .L63 C65 (Browse shelf(Abre debajo))	1	Disponible		ENS018885

Procede de NATO Advanced Study Institute on Computacional Logic, realizada en Marktoberdorf, Germany, Julio 29-Agosto 10, 1997.