Showing
1 - 2
results of
2
for search '
International Conference on Typed Lambda Calculi and Applications (7. : 2005 : Nara, Japonsko)
'
Skip to content
Toggle navigation
Čeština
Log Out
Institutional Login
All Fields
Title
Author
Subject heading
LCC call number
Old call number
ISBN/ISSN
Tag
System number
Find
Advanced Search
Home
Author
International Conference on Typed Lambda Calculi and Applications (7. : 2005 : Nara, Japonsko)
Showing
1 - 2
results of
2
for search '
International Conference on Typed Lambda Calculi and Applications (7. : 2005 : Nara, Japonsko)
'
, query time: 0.03s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
Published:
2005
Located:
Loading...
Získat plný text
Book
Saved in:
Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
Published:
2005
Located:
Loading...
Plný text
eBook
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Related Subjects
matematická logika
algoritmizace
formální jazyky
informatika
programovací jazyky
programování
×
Loading...