Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS Grenoble, France, April 5–6, 2014 : Revised Selected Papers /
Selección de ponencias presentadas en el décimo Taller Internacional sobre Reescritura de Lógica y sus Aplicaciones, celebrado en Grenoble, Francia, en marzo de 2014. Los artículos abordan diversos temas relacionados con los fundamentos y los modelos de reescritura de lógica, tales como, marco lógic...
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Konferenční příspěvek Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Cham, Suiza :
Springer,
2014, c2014
|
| Edice: | (Lecture Notes in Computer Science ;
8663) |
| Témata: | |
| On-line přístup: | Ver documento en línea |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Právě probíhá údržba systému
Právě probíhá údržba knihovního systému.
V současné době nejsou dostupné informace o dostupnosti. Omlouváme se Vám za nepříjemnosti. Neváhejte nás kontaktovat a my se pokusíme zjistit požadované informace jinou cestou: