TU Darmstadt / ULB / TUbiblio

Automatisches Beweisen

Walther, Christoph :
Automatisches Beweisen.
In: Einführung in die Künstliche Intelligenz. - 2. Aufl. - Hrsg.: G. Görz. - Bon, Paris: Addison-Wesley, 1995. S. 203-241. Addison-Wesley, Bonn, Paris
[Buchkapitel], (1995)

Typ des Eintrags: Buchkapitel
Erschienen: 1995
Autor(en): Walther, Christoph
Titel: Automatisches Beweisen
Sprache: Deutsch
Buchtitel: Einführung in die Künstliche Intelligenz. - 2. Aufl. - Hrsg.: G. Görz. - Bon, Paris: Addison-Wesley, 1995. S. 203-241
Ort: Bonn, Paris
Verlag: Addison-Wesley
Edition: Bonn, Paris: Addison-Wesley, 1995
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Programmiermethodik
Hinterlegungsdatum: 19 Nov 2008 16:28
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen