Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings / edited by Masahito Hasegawa.

Salvato in:

Dettagli Bibliografici
Ente Autore:	SpringerLink (Online service)
Altri autori:	Hasegawa, Masahito (Redattore)
Natura:	eBook
Lingua:	English
Pubblicazione:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edizione:	1st ed. 2013.
Serie:	Theoretical Computer Science and General Issues ; 7941 Springer eBook Collection.
Soggetti:	Mathematical logic. Computer science—Mathematics. Computer logic. Artificial intelligence. Electronic resources (E-books)
Accesso online:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Entra per informazioni su prenotazioni e richieste

Accesso online

Click to view e-book

Online

Dettagli sul posseduto da Online
Collocazione:	E-Book
	Disponibile Richiedi