Imagen de Amazon.com
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX §97, Pont-a-Mousson, France, May 1997 : proceedings / Didier Galmiche, ed.
Tipo de material:
TextoIdioma: ENG Series Lecture notes in computer science ; Lecture notes in artificial intelligence ; 1227.Editor: Berlin : Springer Verlag, c1997Descripción: 372 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 3540629203 (rustica : papel alcalino)Tema(s): Teorema, Comprobacion automatica de -- Congresos | Procesamiento paralelo (Computadoras electrónicas) -- CongresosClasificación CDD: 006.3/33 Clasificación LoC:QA76.9A96 | T33 1997
| 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 1997 (Navegar estantería(Abre debajo)) | 1 | Disponible | 81272 |
Total de reservas: 0
Incluye referencias bibliograficas e indices.
No hay comentarios en este titulo.