Principles of Automated Therem Proving / David A. Duffy

Por: Duffy David ATipo de material: Texto

TextoDetalles de publicación: Canada : John Willey & sons Descripción: xi, 243p. / 23.5 cmISBN: 0 471 92784 8Clasificación CDD: 511.3 D472p Clasificación LoC:QA76.9 A96 D858

Existencias ( 2 )
Comentarios ( 0 )

Existencias
Tipo de ítem	Biblioteca actual	Signatura	Copia número	Estado	Fecha de vencimiento	Código de barras
Libros	LUIS G. INCLAN	511.3 D472p (Navegar estantería(Abre debajo))	1	Disponible		24292
Libros	LUIS G. INCLAN	511.3 D472p (Navegar estantería(Abre debajo))	2	Disponible		24293

Navegando LUIS G. INCLAN Estantes Cerrar el navegador de estanterías (Oculta el navegador de estanterías)

Previo								Siguiente
Previo	511.3 D261c Computability, Complexity and Languages : Fundamentals of Theorical Computer Science / Martin D. Davis	511.3 D261c Computability, Complexity and Languages : Fundamentals of Theorical Computer Science / Martin D. Davis	511.3 D261c Computability, Complexity and Languages : Fundamentals of Theorical Computer Science / Martin D. Davis	511.3 D472p Principles of Automated Therem Proving / David A. Duffy	511.3 D472p Principles of Automated Therem Proving / David A. Duffy	511.3 K222c Conjunto. Aplicaciones matemáticas a la administración / Ariel Kleiman, Elena K. de Kleiman	511.3 K222c Conjunto. Aplicaciones matemáticas a la administración / Ariel Kleiman, Elena K. de Kleiman	Siguiente

No hay comentarios en este titulo.

para colocar un comentario.