Zur Trefferliste
Cover von Grundlagen des maschinellen Beweisens wird in neuem Tab geöffnet

Grundlagen des maschinellen Beweisens

eine Einführung für Informatiker und Mathematiker
Verfasser/in: Suche nach diesem Verfasser Hofbauer, Dieter; Kutsche, Ralf-Detlef
Verfasserangabe: Dieter Hofbauer ; Ralf-Detlef Kutsche
Jahr: 1989
Mediengruppe: B.Sach.Erw/L.sagg.ad
verfügbar

Exemplare

ZweigstelleStandorteMEKZStatusVorbestellungenFrist
Zweigstelle: TFO Bozen Standorte: Te 8.6 MEKZ: Status: Verfügbar Vorbestellungen: 0 Frist:

Inhalt

Wbr 2

Details

Suche nach diesem Verfasser
Verlag: Wiesbaden, Vieweg [528]
opens in new tab
Systematik: Suche nach dieser Systematik Te 8.6
Suche nach diesem Interessenskreis
ISBN: 3-528-14718-0
Beschreibung: VIII, 172 S. : graph. Darst.
Schlagwörter: Automatisches Beweisverfahren, Automated theorem proving, Automatic theorem provin, Automatisches Theorembeweisen, Beweis / Automatisierung, Maschinelles Beweisverfahren, Mechanisches Beweisverfahren, Theorem / Automatisches Beweisen, Theroembeweisen / Automatisierung
Suche nach dieser Beteiligten Person
Sprache: deutsch