TU Darmstadt / ULB / TUbiblio

Automatisches Beweisen

Walther, Christoph
Görz, Günther (ed.) (1995):
Automatisches Beweisen.
In: Einführung in die Künstliche Intelligenz, 2. Aufl, pp. 203-241, Bonn, Addison-Wesley, [Book Section]

Item Type: Book Section
Erschienen: 1995
Editors: Görz, Günther
Creators: Walther, Christoph
Title: Automatisches Beweisen
Language: German
Title of Book: Einführung in die Künstliche Intelligenz
Place of Publication: Bonn
Publisher: Addison-Wesley
Edition: 2. Aufl
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Programming Methodology
Date Deposited: 19 Nov 2008 16:28
Official URL: https://www.researchgate.net/publication/342902280_Automatis...
Additional Information:

ULB-Bestand // Signatur ST300 G597 (2)

License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details