Logic for applications /
Guardado en:
| Autor principal: | |
|---|---|
| Otros autores: | |
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Nueva York, EUA :
Springer,
1997, c1997
|
| Edición: | 2a edición |
| Colección: | (Graduate Texts in Computer Science)
|
| Temas: | |
| Etiquetas: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
Ejemplares similares: Logic for applications /
- Implementation and Application of Functional Languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012 : Revised Selected Papers /
- Diseño efectivo de programas correctos /
- Lógica computacional /
- An Introduction to Formal Languages and Automata /
- An Introduction to Formal Languages and Automata /
- Inductive Logic Programming : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28–30, 2013 : Revised Selected Papers /