Recomienda este artículo a tus amigos:
Computer Science Logic: 7th Workshop, Csl '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Csl '93, Swansea, United Kingdom, September 13-17, 1993 - Selected Papers) - Lecture Notes in Computer Science Egon Brger
Computer Science Logic: 7th Workshop, Csl '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Csl '93, Swansea, United Kingdom, September 13-17, 1993 - Selected Papers) - Lecture Notes in Computer Science
Egon Brger
This volume contains a selection of papers presented at the Conference of the European Association for Computer Science Logic, held at Swansea in September 1993. Topics discussed include set constraints, lambda calculi, process algebras, program semantics, fixed-point logics, Horn clauses and more.
344 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 20 de julio de 1994 |
| ISBN13 | 9783540582779 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 344 |
| Dimensiones | 216 × 279 × 18 mm · 503 g |
| Lengua | Alemán |