Rechnen in sortierter Prädikatenlogik

Weidenbach, Christoph

Local TagsRelease HistoryDetailsSummary

Rechnen in sortierter Prädikatenlogik

Weidenbach, C. (1998). Rechnen in sortierter Prädikatenlogik. In H. Fiedler, P. Gorny, W. Grass, S. Hölldobler, G. Hotz, I. O. Kerner, et al. (Eds.), Ausgezeichnete Informatikdissertationen 1997 (pp. 183-197). Stuttgart, Germany: Teubner.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3876-0 Version Permalink: https://hdl.handle.net/21.11116/0000-000E-3384-3

Genre: Book Chapter

Files

show Files

Locators

show

Creators

show

hide

Creators:
Weidenbach, Christoph^{1, 2}, Author

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

Content

show

Details

show

hide

Language(s): deu - German

Dates: Modified: 2010-03-12Date issued: 1998

Publication Status: Issued

Pages: -

Publishing info: Stuttgart, Germany : Teubner

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519879
Other: Local-ID: C1256104005ECAFC-85EF4912EEEF0148412566FD005E7305-Weidenbach98teubner

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Ausgezeichnete Informatikdissertationen 1997

Source Genre: Book

Creator(s):
Fiedler, Herbert, Editor
Gorny, Peter, Editor
Grass, Werner, Editor
Hölldobler, Steffen, Editor
Hotz, Günter, Editor
Kerner, I. O., Editor
Reischuk, Rüdiger, Editor

Affiliations:
-

Publ. Info: Stuttgart, Germany : Teubner

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 183 - 197 Identifier: -