Deduction (Dagstuhl Seminar 99091)

Furbach, Ulrich; Ganzinger, Harald; Hasegawa, Ryuzo; Kapur, Deepak

doi:10.4230/DagSemRep.232

Document

Deduction (Dagstuhl Seminar 99091)

Authors Ulrich Furbach, Harald Ganzinger, Ryuzo Hasegawa, Deepak Kapur

Part of: Volume: Dagstuhl Seminar Reports (DagSemRep)
Part of: Series: Dagstuhl Seminar Reports (DagSemRep)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2000-05-16

PDF

File

DagSemRep.232.pdf

Filesize: 213 kB
24 pages

Document Identifiers

DOI: 10.4230/DagSemRep.232
URN: urn:nbn:de:0030-drops-151182

Author Details

Ulrich Furbach

Harald Ganzinger

Ryuzo Hasegawa

Deepak Kapur

Cite AsGet BibTex

Ulrich Furbach, Harald Ganzinger, Ryuzo Hasegawa, and Deepak Kapur. Deduction (Dagstuhl Seminar 99091). Dagstuhl Seminar Report 232, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2000)
https://doi.org/10.4230/DagSemRep.232

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views