Paradigmen und Perspektiven der automatischen Deduktion

Letz, Reinhold; Weidenbach, Christoph

Datensatz

DATENSATZ AKTIONENEXPORT

DownloadE-Mail

Bitte beachten Sie, dass eine neuere Version dieses Datensatzes verfügbar ist:
https://pure.mpg.de/pubman/item/item_1331438_2

DetailsÜbersicht

Paradigmen und Perspektiven der automatischen Deduktion

Letz, R., & Weidenbach, C. (1998). Paradigmen und Perspektiven der automatischen Deduktion. KI, Organ des Fachbereichs 1 "Künstliche Intelligenz'' der Gesellschaft für Informatik e.V., 4, 15-19.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-386A-C Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-386B-A

Genre: Zeitschriftenartikel

ausblenden:

Urheber:
Letz, Reinhold, Autor
Weidenbach, Christoph^{1, 2}, Autor

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045