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
Navegando Libros Estantes, Ubicación: Libros, Código de colección: Coleccion General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
|
|
|
|
|
|
|
||
| QA76.9A96 N48 Automated theorem proving : | QA76.9A96 S63 1997 Deduction systems / | QA76.9A96 S63 1997 Deduction systems / | QA76.9A96 T33 1997 Automated reasoning with analytic tableaux and related methods : | QA76.9A96 T33 2000 Automated reasoning with analytic tableaux and related methods : | QA76.9B3 B375 Bases de datos y redes de comunicacion : | QA76.9B3 B47 Concurrency control and recovery in database systems / |
Incluye referencias bibliograficas e indices.
No hay comentarios en este titulo.