Furbach, Ulrich ;
Ganzinger, Harald ;
Hasegawa, Ryuzo ;
Kapur, Deepak
Weitere Beteiligte (Hrsg. etc.): Ulrich Furbach and Harald Ganzinger and Ryuzo Hasegawa and Deepak Kapur
Deduction (Dagstuhl Seminar 99091)
BibTeX - Entry
@TechReport{furbach_et_al:DagSemRep.232,
author = {Furbach, Ulrich and Ganzinger, Harald and Hasegawa, Ryuzo and Kapur, Deepak},
title = {{Deduction (Dagstuhl Seminar 99091)}},
pages = {1--24},
ISSN = {1619-0203},
year = {2000},
type = {Dagstuhl Seminar Report},
number = {232},
institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2021/15118},
URN = {urn:nbn:de:0030-drops-151182},
doi = {10.4230/DagSemRep.232},
}
|
Seminar: |
|
Dagstuhl Seminar Reports
|
|
Issue date: |
|
2021 |
|
Date of publication: |
|
16.05.2000 |
16.05.2000
