Zobrazuji výsledky
1 - 1
z
1
pro vyhledávání '
Bakker, Jacobus W. de
'
Přeskočit na obsah
cze
English
Čeština
Váš účet
Přihlásit se...
Vyhledávání v katalogu knihovny
|
Vyhledávání v e-zdrojích
Hledat
Pokročilé vyhledávání
Zobrazuji výsledky
1 - 1
z
1
pro vyhledávání '
Bakker, Jacobus W. de
'
Seřadit
Relevance
Podle data sestupně
Podle data vzestupně
Signatury
Autor
Název
1
Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988
Rok: 1989
Umístění:
Načítá se...
Konferenční sborník
Kniha
Načítá se...
Vyhledávací nástroje:
RSS
Upřesnit hledání
Typ dokumentu
Kniha
1
Konferenční sborník
1
Předmětová hesla
matematická lingvistika
1
matematické modelování
1
počítačová věda
1
sémantika
1
Autor
Bakker, Jacobus W. de
1
Roever, W.-P. de
1
Rozenberg, Grzegorz
1
School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
1
Jazyk
angličtina
1
Žánr
sborníky
1
Dílčí knihovna
Knihovna Žižkov depoz. 2
1
Rok vydání
Od:
do:
×
Načítá se...