Showing
1 - 5
results of
5
for search '
Urzyczyn, Pawel
'
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
Urzyczyn, Pawel
Showing
1 - 5
results of
5
for search '
Urzyczyn, Pawel
'
, query time: 0.04s
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:
Lectures on the Curry-Howard isomorphism
by
Sørensen, Morten Heine B. (Morten Heine Bjørnlund), 1968-
Published:
2006
Located:
Loading...
Book
Loading...
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:
Mathematical Foundations of Computer Science 2006 : 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings
Published:
2006
Located:
Loading...
Plný text
eBook
Saved in:
Mathematical foundations of computer science 2006 : 31st international symposium, MFCS 2006, Stará Lesná, Slovakia, August 28 - September 1, 2006 : proceedings
Published:
2006
Located:
Loading...
Plný text
Book
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Related Subjects
matematická logika
algoritmizace
informatika
formální jazyky
logiky vyšších řádů
matematické programování
počítače
programovací jazyky
programování
teorie důkazů
teorie typů
teorie čísel
výpočetní technika
×
Loading...