2 Search Results for "Schmitt, Peter H."

@TechReport{mundici_et_al:DagSemRep.194,
  author =	{Mundici, Daniele and Schmitt, Peter H. and Zadeh, Lotfi},
  title =	{{Multiple Valued Logic (Dagstuhl Seminar 9744)}},
  pages =	{1--29},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{194},
  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.194},
  URN =		{urn:nbn:de:0030-drops-150805},
  doi =		{10.4230/DagSemRep.194},
}

@TechReport{marek_et_al:DagSemRep.73,
  author =	{Marek, Victor and Nerode, Anil and Schmitt, Peter H.},
  title =	{{Non-Classical Logics in Computer Science (Dagstuhl Seminar 9338)}},
  pages =	{1--36},
  ISSN =	{1619-0203},
  year =	{1993},
  type = 	{Dagstuhl Seminar Report},
  number =	{73},
  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.73},
  URN =		{urn:nbn:de:0030-drops-149616},
  doi =		{10.4230/DagSemRep.73},
}

• Refine by Author
• 2 Schmitt, Peter H.
• 1 Marek, Victor
• 1 Mundici, Daniele
• 1 Nerode, Anil
• 1 Zadeh, Lotfi

• Refine by Classification

• Refine by Keyword

• Refine by Type
• 2 document

• Refine by Publication Year
• 1 1993
• 1 1997