< Terug naar vorige pagina

Onderzoeker

Andreas Weiermann

  • Trefwoorden:Bewijstheorie, Termherschrijfsystemen, Wiskundige logica
  • Disciplines:Mathematische logica en beginselen, Geschiedenis en biografie van wiskunde, Convexe en discrete geometrie, Combinatoriek, Theoretische informatica niet elders geclassificeerd, Geschiedenis en grondbeginselen van de wiskunde niet elders geclassificeerd, Mathematische software, Toegepaste discrete wiskunde, Computationele logica en formele talen, Codering en informatietheorie