Saltar ao contenido
Library Home
Start Over
Research Databases
E-Journals
Reservas de curso
Library Home
Entrar
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Idioma
Library Catalog
Todos os campos
Title
Autor
Subject
Número de Clasificación
ISBN/ISSN
Buscar
Procura avanzada
|
Revisar
|
Consello de procura
Typed Lambda Calculi and Appli...
Citar
Text this
Enviar este rexistro por email
Imprimir
Exportar rexistro
Exportar a RefWorks
Exportar a EndNoteWeb
Exportar a EndNote
Engadir a favoritos
Permanent link
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings / edited by Masahito Hasegawa.
Gardado en:
Detalles Bibliográficos
Autor Corporativo:
SpringerLink (Online service)
Outros autores:
Hasegawa, Masahito
(Editor)
Formato:
eBook
Idioma:
English
Publicado:
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
Edición:
1st ed. 2013.
Series:
Theoretical Computer Science and General Issues ;
7941
Springer eBook Collection.
Subjects:
Mathematical logic.
Computer science—Mathematics.
Computer logic.
Artificial intelligence.
Electronic resources (E-books)
Acceso en liña:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Existencias
Descripción
Títulos similares
Staff View
Para información de reservas e retiradas
Internet
Click to view e-book
Online
Detalle de Existencias desde Online
Número de Clasificación:
E-Book
Dispoñible
Facer reserva
Títulos similares
Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
Publicado: (2011)
Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings
Publicado: (2009)
Typed Lambda Calculi and Applications International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings
Publicado: (1993)
Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Publicado: (2014)
Typed Lambda Calculi and Applications Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings
Publicado: (1997)