Imagen de Amazon.com
Symbolic rewriting techniques / Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, eds.
Tipo de material:
TextoIdioma: SPA Series Progress in computer science and applied logic ; v. 15Editor: Basel : Birkhäuser Verlag, c1998Descripción: 288 páginas : ilustracionesTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 3764359013Tema(s): Sistemas de reescritura (Computación) | Lógica simbólica y matemáticaClasificación LoC:QA267 | S93
| 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 | QA267 S93 (Navegar estantería(Abre debajo)) | 1 | Disponible | 76967 |
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)
|
|
|
|
|
|
|
||
| QA267 S56 2006 Introduction to the theory of computation | QA267 S56 2006 Introduction to the theory of computation | QA267 S84 Studies in complexity theory / | QA267 S93 Symbolic rewriting techniques / | QA267 T45 Theory of automata / | QA267 T45 Theory of automata / | QA267 T453 Theory of computation / |
No hay comentarios en este titulo.