Rewriting and Typed Lambda Calculi : Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : Proceedings /
Ponencias presentadas en la vigésima quinta Conferencia Internacional Conjunta sobre Técnicas y Aplicaciones de Reescritura, y en la décima segunda Conferencia Internacional sobre Cálculos Lambda Mecanografiados y Aplicaciones, realizadas como parte del Verano de Viena de la Lógica, en Viena, Austri...
Shranjeno v:
| Autores corporativos: | , , |
|---|---|
| Drugi avtorji: | |
| Format: | Procedimiento de la conferencia Knjiga |
| Jezik: | angleščina |
| Izdano: |
Cham, Suiza :
Springer,
2014, c2014
|
| Serija: | (Lecture Notes in Computer Science ; Advanced Research in Computing and Software Science)
8560. |
| Teme: | |
| Online dostop: | Ver documento en línea |
| Oznake: |
Brez oznak, prvi označite!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000567455 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260526152956.697 | ||
| 020 | |a 978-3-319-08918-8 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a Libro en línea | ||
| 111 | |a International Conference on Rewriting Techniques and Applications ( |n 25a : |d 2014 : |c Viena, Austria) | ||
| 245 | 1 | 0 | |a Rewriting and Typed Lambda Calculi : |b Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : Proceedings / |c Ed. de G. Dowek. |
| 264 | 4 | |a Cham, Suiza : |b Springer, |c 2014, c2014 | |
| 264 | 2 | |a Cham, Suiza : |b Springer Link [distribución], |c 2014 | |
| 300 | |a 1 libro electrónico en línea (XXII, 491 p.) | ||
| 300 | |a 1 recurso en línea | ||
| 336 | |a datos para computadora |b cod |2 rdacontenido | ||
| 337 | |a computadora |b c |2 rdamedio | ||
| 338 | |a recurso en línea |b cr |2 rdasoporte | ||
| 440 | 1 | |a (Lecture Notes in Computer Science ; |v 8560. |p Advanced Research in Computing and Software Science) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a Ponencias presentadas en la vigésima quinta Conferencia Internacional Conjunta sobre Técnicas y Aplicaciones de Reescritura, y en la décima segunda Conferencia Internacional sobre Cálculos Lambda Mecanografiados y Aplicaciones, realizadas como parte del Verano de Viena de la Lógica, en Viena, Austria, en julio de 2014. Los artículos dan cuenta de los avances en la investigación sobre aspectos de la reescritura y los cálculos lambda mecanografiados, cuestiones teóricas y metodológicas, aspectos algorítmicos y de programación, así como aplicaciones en diversos contextos. | ||
| 649 | |a XX | ||
| 650 | |a Lenguajes de Programación | ||
| 650 | |a Lenguajes Formales | ||
| 650 | |a Inteligencia Artificial | ||
| 650 | |a Complejidad Computacional | ||
| 650 | |a Sistemas de Reescritura (Informática) - |x Tema Principal | ||
| 650 | |a Autómatas Matemáticos - |x Teoría | ||
| 650 | |a Lógica Matemática - |x Congresos - |x Tema Principal | ||
| 650 | |a Ingeniería Computacional | ||
| 700 | |a Dowek, Gilles |e (edición) | ||
| 711 | |a International Conference on Typed Lambda-Calculi and Applications ( |n 12a : |d 2014 : |c Viena, Austria) | ||
| 711 | |a Vienna Summer of Logic ( |d 2014 : |c Viena, Austria) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-08918-8 |y Ver documento en línea |
| 910 | |a Fondo General | ||
| 920 | |a Electrónicos - Libros en Línea | ||
| 930 | |a Plataforma Digital | ||
| 905 | |a 205 | ||
| 901 | |a 567455-1 |b IT2 |c EBO |i C |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000567455 | ||