Jump to main content

yr 〜
yr

Search results 4

Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs

Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
Paper図書
Ivo Düntsch, Edwin Mares, editorsSpringerc2022
Other Libraries in Japan
  • Author HeadingDüntsch, Ivo Mares, Edwin

Algebraic methods in general rough sets

Algebraic methods in general rough sets
Paper図書
A. Mani, Gianpiero Cattaneo, Ivo Düntsch, editorsBirkhäuserc2018
Other Libraries in Japan
  • Author HeadingMani, A. Cattaneo, Gianpiero Düntsch, Ivo

Relational methods in computer science : 8th international seminar on relational methods in computer science : 3rd international workshop on applications of Kleene algebra and workshop of COST Action 274: TARSKI : St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers. : RelMiCS 8 : Feb 2005, St. Catharines, Canada. (Lecture Notes in Computer Science ; 3929)

Relational methods in computer science : 8th international seminar on relational methods in computer science : 3rd international workshop on applications of Kleene algebra and workshop of COST Action 274: TARSKI : St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers. : RelMiCS 8 : Feb 2005, St. Catharines, Canada. (Lecture Notes in Computer Science ; 3929)
Paper図書
Springerc2006.<M17-06-1895>
National Diet Library
  • Author Heading...ichael, Ph. D. Düntsch, Ivo. International Seminar on Rel...

Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers

Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers
Paper図書
Wendy MacCaull, Michael Winter, Ivo Duntsch (eds.)Springerc2006
Other Libraries in Japan
  • Author Heading...inter, Michael Duntsch, Ivo

Reached to the end of result.

RSS