yr 〜
yr

Search results 4

New essays on Belnap-Dunn logic (Synthese library : studies in epistemology, logic, mtheodology, and philosophy of science ; Volume 418)

New essays on Belnap-Dunn logic (Synthese library : studies in epistemology, logic, mtheodology, and philosophy of science ; Volume 418)
Paper図書
Hitoshi Omori, Heinrich Wansing, editors.Springer[2019]<H35-D1>
National Diet Library
  • Author HeadingOmori, Hitoshi. [大森仁] Wansing, H., (Heinrich)

Logics in artificial intelligence : 11th European conference, JELIA 2008 : Dresden, Germany, September 28-October 1, 2008 : proceedings. : journees europeennes sur la logique en intelligence artificielle : Sep 2008, Dresden, Germany. (Lecture Notes in Computer Science ; 5293. Lecture Notes in Artificial Intelligence)

Logics in artificial intelligence : 11th European conference, JELIA 2008 : Dresden, Germany, September 28-October 1, 2008 : proceedings. : journees europeennes sur la logique en intelligence artificielle : Sep 2008, Dresden, Germany. (Lecture Notes in Computer Science ; 5293. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2008.<M17-10-627>
National Diet Library
  • Author Heading...Carsten, 1971- Wansing, H. (Heinrich) JELIA 2008 (2008 : Dresden, G...

The logic of information structures / Heinrich T. Wansing. (Lecture notes in computer science. Lecture notes in artificial intelligence)

The logic of information structures / Heinrich T. Wansing. (Lecture notes in computer science. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1993.<M121-A109>
National Diet Library
  • Author HeadingWansing, H. (Heinrich)

Nonclassical logics and information processing : international workshop, Berlin, Germany, Novemver 9-10, 1990 : proceedings / D. Pearce, H. Wansing (eds.). (Lecture notes in computer science ; 619. Lecture notes in artificial intelligence)

Nonclassical logics and information processing : international workshop, Berlin, Germany, Novemver 9-10, 1990 : proceedings / D. Pearce, H. Wansing (eds.). (Lecture notes in computer science ; 619. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1992.<M15-A8358>
National Diet Library
  • Author HeadingPearce, David A., 1952- Wansing, H. (Heinrich) All-Berlin Workshop on Noncla...

Reached to the end of result.