Zoeken

U zocht naar: Auteur Windsteiger, Wolfgang Filter Auteur: Windsteiger, Wolfgang weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Towards Mechanized Mathematical Assistants
thumbnail
Full text!
Auteur:
Kauers, Manuel; Kerber, Manfred; Miner, Robert; Siekmann, Jörg; Windsteiger, Wolfgang
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book
2. Intelligent Computer Mathematics
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Kittler, Josef; Aspinall, David; Lange, Christoph; Sojka, Petr; Windsteiger, Wolfgang
Uitgever:
Springer Berlin Heidelberg 2013
Type:
e-book