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.

שמור ב:
מידע ביבליוגרפי
מחבר תאגידי: SpringerLink (Online service)
מחברים אחרים: Hasegawa, Masahito (Editor)
פורמט: ספר אלקטרוני
שפה:English
יצא לאור: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
מהדורה:1st ed. 2013.
סדרה:Theoretical Computer Science and General Issues ; 7941
Springer eBook Collection.
נושאים:
Mathematical logic.
Computer science—Mathematics.
Computer logic.
Artificial intelligence.
Electronic resources (E-books)
גישה מקוונת:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
כניסה לחשבון למידע על הזמנה והחזרת פריטים

אינטרנט

Click to view e-book

Online

פרטי מלאי ספרים מ Online
סימן המיקום: E-Book
זמין ביצוע הזמנה

פריטים דומים