Imagen de Amazon.com
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St. Andrews, Scotland, UK, July 3-7, 2000 : proceedings / Roy Dyckhoff (ed.)
Tipo de material:
TextoIdioma: ENG Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 1847.Editor: Berlin : Springer Verlag, c2000Descripción: 440 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 354067697XTema(s): Teorema, Comprobacion automatica de -- Congresos | Procesamiento paralelo (Computadoras electrónicas) -- CongresosClasificación LoC:QA76.9A96 | T33 2000
| Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|---|
Libros
|
Libros Libros | Coleccion General | QA76.9A96 T33 2000 (Navegar estantería(Abre debajo)) | 1 | Disponible | 90161 |
Total de reservas: 0
No hay comentarios en este titulo.