Andrej Bauer
Andrej Bauer, slovenski matematik, * 11. maj 1971.Bauer je profesor računalniške matematike na Fakulteti za matematiko in fiziko Univerze v Ljubljani v Sloveniji. Opravlja raziskave na področju logike, konstruktivne in izračunljive matematike, teorije tipa, in semantike programskih jezikov. V Wikipediji
1
od Bašić, Nino., Bauer, Andrej., Brank, Janez, 1979-, Grabnar, Matija., Grčar, Miha., Hočevar, Tomaž, 1981-, Horvat, Boris, 1956-, Jurišić, Aleksandar., Kenda, Klemen., Keše, Peter., Kodre, Jurij., Martinec, Mark., Miklavec, Mojca., Trampuš, Mitja., Vuk, Miha., Žagar, Klemen.
Izdano 2008
Polni tekstIzdano 2008
Conference Proceeding
Knjiga
2
od Bauer, Andrej., Brank, Janez, 1979-, Bašić, Nino., Črepinšek, Matej., Gabrijelčič, Primož., Gašperin, Boris., Grobelnik, Marko, 1966-, Hočevar, Tomaž, 1981-, Keše, Peter., Kodre, Jurij., Lasič, Mitja., Lesjak, Borut, računalništvo, 1971-, Lokar, Matija., Miklavec, Mojca., Martinec, Mark., Šprogar, Matej., Trampuš, Mitja., Urlep, Matjaž, 1982-, Žagar, Anže., Žagar, Klemen.
Izdano 2011
Polni tekstIzdano 2011
Conference Proceeding
Knjiga
3
Izdano 2008
Drugi avtorji:
“...Bauer, Andrej....”
Knjiga
4
Izdano 2009
Drugi avtorji:
“...Bauer, Andrej....”
Knjiga
5
6
Izdano 2013
Drugi avtorji:
“...Bauer, Andrej....”
Knjiga