Deduction

Local TagsRelease HistoryDetailsSummary

Deduction

Furbach, U., Ganzinger, H., Hasegawa, R., & Kapur, D. (Eds.). (2000). Deduction. Wadern, Germany: IBFI.

Item is Released

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-341F-1 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3420-C

Genre: Proceedings

show

show

hide

Creators:
Furbach, Ulrich, Editor
Ganzinger, Harald¹, Editor
Hasegawa, Ryuzo, Editor
Kapur, Deepak¹, Editor

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

show

show

hide

Language(s): eng - English

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

Publication Status: Issued

Pages: 24

Publishing info: Wadern, Germany : IBFI

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519775
ISSN: 0940-1121
Other: Local-ID: C1256104005ECAFC-32CB6BDB1284186CC12569F2004C0200-Ganzinger-et-al-01-Dagstuhl

Degree: -

show

hide

Title: Untitled Event

Place of Event: Wadern/Dagstuhl, Germany

Start-/End Date: 1999-02-28 - 1999-03-05

show

show

show