-
1
Dynamic logic new trends and applications : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings
Veröffentlicht 2018“… DALI Brasília …”
VolltextElektronisch Tagungsbericht E-Book -
2
Automated reasoning with analytic tableaux and related methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017 : proceedings
Veröffentlicht 2017“… TABLEAUX Brasília …”
VolltextElektronisch Tagungsbericht E-Book -
3
Plato's Phaedo selected papers from the eleventh Symposium Platonicum
“… Symposium Platonicum Brasilia …”
DE-Ef29
DE-525
DE-12
DE-634
DE-1052
DE-521
DE-1043
DE-1102
DE-1046
DE-1047
DE-1841
DE-858
DE-Bo133
DE-Aug4
DE-M347
DE-1051
DE-898
DE-860
DE-861
DE-188
DE-863
DE-862
DE-2070s
DE-Re13
DE-M483
DE-1949
DE-127
DE-150
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-824
DE-29
DE-739
URL des Erstveröffentlichers
Elektronisch Tagungsbericht E-Book -
4
Frontiers of combining systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017 : proceedings
Veröffentlicht 2017“… FroCoS Brasília …”
VolltextElektronisch Tagungsbericht E-Book -
5
Interactive theorem proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017 : proceedings
Veröffentlicht 2017“… International Conference on Interactive Theorem Proving Brasília …”
VolltextElektronisch Tagungsbericht E-Book -
6
Communication in critical embedded systems First Workshop, WoCCES 2013, Brasília, Brazil, May, 10, 2013, Second Workshop, WoCCES 2014, Florianópolis, Brazil, May 9, 2014, Third Wor...
Veröffentlicht 2017“… WoCCES Brasília …”
VolltextElektronisch Tagungsbericht E-Book -
7
-
8
-
9
-
10
Automated reasoning with analytic tableaux and related methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017 : proceedings
Veröffentlicht 2017“… TABLEAUX Brasília …”
Tagungsbericht Buch -
11
Boletim do Herbário Ezechias Paulo Heringer
Veröffentlicht 1998“… Herbário (Brasília) …”
VolltextZeitschrift -
12
-
13
Dynamic logic new trends and applications : first international workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings
Veröffentlicht 2018“… DALI Brasília …”
Tagungsbericht Buch -
14
Selected and extended papers from SBLP 2013
Veröffentlicht 2016“… SBLP Brasília …”
Tagungsbericht Buch -
15
Anais do VIII Simpósio Brasileiro de Inteligência Artificial Brasília, DF 18 - 21 Novembro
Veröffentlicht 1991“… SBIA Brasília …”
Tagungsbericht Buch -
16
Plato's Phaedo selected papers from the Eleventh Symposium Platonicum
“… Symposium Platonicum Brasilia …”
Inhaltsverzeichnis
Tagungsbericht Buch -
17
Plano orientador da Universidade de Brasília
Veröffentlicht 1962“… Universidade de Brasília …”
Buch -
18
Frontiers of combining systems 11th international symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017 : proceedings
Veröffentlicht 2017“… FroCoS Brasília …”
Tagungsbericht Buch -
19
Compte rendu de la LIe Conférence Interparlementaire tenue à Brasilia du 24 octobre au 1er novembre 1962
Veröffentlicht 1963“… Inter-Parliamentary Conference Brasília …”
Tagungsbericht Buch -
20
Atas da tercera Escola de Álgebra Brasilia, 8 a 27 de julho 1976
Veröffentlicht 1977“… Escola de Álgebra Brasilia …”
Tagungsbericht Buch