Autor:	Waldmann, Uwe.
Rok vydání:	2004
Předmět:	Automatisches Beweisverfahren
Popis:	Saarbrücken, Univ., Diss., 1997. Computerdatei im Fernzugriff.
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://scidok.sulb.uni-saarland.de/volltexte/2004/243/pdf/UweWaldmann_ProfDrHaraldGanzinger.pdf http://scidok.sulb.uni-saarland.de/volltexte/2004/243/index.html http://deposit.ddb.de/cgi-bin/dokserv?idn=972337210 Zobrazit plný text záznamu