> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Proof planning with multiple strategies Beteiligte: Meier, Andreas [Verfasser] Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Automatisches Beweisverfahren > Blackboard Entstehung: Hochschulschrift: Saarbrücken, Univ., Diss., 2004 Anmerkungen: Zugangsstatus: Freier Zugang