3 Search Results for "Bibel, Wolfgang"


Document
Deduction (Dagstuhl Seminar 9709)

Authors: Wolfgang Bibel, Ulrich Furbach, Ryuzo Hasegawa, and Mark Stickel

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Wolfgang Bibel, Ulrich Furbach, Ryuzo Hasegawa, and Mark Stickel. Deduction (Dagstuhl Seminar 9709). Dagstuhl Seminar Report 170, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{bibel_et_al:DagSemRep.170,
  author =	{Bibel, Wolfgang and Furbach, Ulrich and Hasegawa, Ryuzo and Stickel, Mark},
  title =	{{Deduction (Dagstuhl Seminar 9709)}},
  pages =	{1--23},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{170},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.170},
  URN =		{urn:nbn:de:0030-drops-150577},
  doi =		{10.4230/DagSemRep.170},
}
Document
Deduction (Dagstuhl Seminar 9512)

Authors: Wolfgang Bibel, Koichi Furukawa, and Mark Stickel

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Wolfgang Bibel, Koichi Furukawa, and Mark Stickel. Deduction (Dagstuhl Seminar 9512). Dagstuhl Seminar Report 110, pp. 1-26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{bibel_et_al:DagSemRep.110,
  author =	{Bibel, Wolfgang and Furukawa, Koichi and Stickel, Mark},
  title =	{{Deduction (Dagstuhl Seminar 9512)}},
  pages =	{1--26},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{110},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.110},
  URN =		{urn:nbn:de:0030-drops-149989},
  doi =		{10.4230/DagSemRep.110},
}
Document
Deduction (Dagstuhl Seminar 9310)

Authors: Wolfgang Bibel, Koichi Furukawa, and Mark Stickel

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Wolfgang Bibel, Koichi Furukawa, and Mark Stickel. Deduction (Dagstuhl Seminar 9310). Dagstuhl Seminar Report 58, pp. 1-32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1993)


Copy BibTex To Clipboard

@TechReport{bibel_et_al:DagSemRep.58,
  author =	{Bibel, Wolfgang and Furukawa, Koichi and Stickel, Mark},
  title =	{{Deduction (Dagstuhl Seminar 9310)}},
  pages =	{1--32},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{58},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.58},
  URN =		{urn:nbn:de:0030-drops-149466},
  doi =		{10.4230/DagSemRep.58},
}
  • Refine by Author
  • 3 Bibel, Wolfgang
  • 3 Stickel, Mark
  • 2 Furukawa, Koichi
  • 1 Furbach, Ulrich
  • 1 Hasegawa, Ryuzo

  • Refine by Classification

  • Refine by Keyword

  • Refine by Type
  • 3 document

  • Refine by Publication Year
  • 1 1993
  • 1 1995
  • 1 1997

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail