本文に飛ぶ

年 〜
年

検索結果 24 件

Relational and algebraic methods in computer science : 14th international conference, RAMiCS 2014 : Marienstatt, Germany, April 28-May 1, 2014 : proceedings : Apr 2014, Marienstatt, Germany. (Lecture Notes in Computer Science ; 8428)

Relational and algebraic methods in computer science : 14th international conference, RAMiCS 2014 : Marienstatt, Germany, April 28-May 1, 2014 : proceedings : Apr 2014, Marienstatt, Germany. (Lecture Notes in Computer Science ; 8428)
紙図書
Springer[2014]<M17-15-1583>
国立国会図書館

Relations and Kleene algebra in computer science : 11th international conference on relational methods in computer science, RelMiCS 2009 and 6th international conference on applications of Kleene algebra, AKA 2009 : Doha, Qatar, November 1-5, 2009 : proceedings. : RelMiCS 11 : AKA 6 : RelMiCS/AKA09 : Nov 2009, Doha, Qatar. (Lecture Notes in Computer Science ; 5827)

Relations and Kleene algebra in computer science : 11th international conference on relational methods in computer science, RelMiCS 2009 and 6th international conference on applications of Kleene algebra, AKA 2009 : Doha, Qatar, November 1-5, 2009 : proceedings. : RelMiCS 11 : AKA 6 : RelMiCS/AKA09 : Nov 2009, Doha, Qatar. (Lecture Notes in Computer Science ; 5827)
紙図書
Springerc2009.<M17-10-1915>
国立国会図書館
  • 件名...-- Congresses. Algebraic logic -- Congresses. Computer science -- Mathemati...

Logic and its applications. : international conference on logic and its applications in algebra and geometry : workshop on combinatorial set theory, excellent classes, and schanuel conjecture : Apr 2003, Ann Arbor, MI. (Contemporary Mathematics ; 380)

Logic and its applications. : international conference on logic and its applications in algebra and geometry : workshop on combinatorial set theory, excellent classes, and schanuel conjecture : Apr 2003, Ann Arbor, MI. (Contemporary Mathematics ; 380)
紙図書
American Mathematical Societyc2005.<M17-05-2336>
国立国会図書館
  • 件名Algebraic logic -- Congresses. Algebraic geometry -- Congres...

Relations and Kleene algebra in computer science : 10th international conference on relational methods in computer science and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008 : Frauenworth, Germany, April 7-11, 2008 : proceedings. : 10th international seminar on relational methods in computer science (RelMiCS 10) : 5th international workshop on applications of Kleene algebra (AKA 5) : Apr 2008, ------. (Lecture Notes in Computer Science ; 4988)

Relations and Kleene algebra in computer science : 10th international conference on relational methods in computer science and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008 : Frauenworth, Germany, April 7-11, 2008 : proceedings. : 10th international seminar on relational methods in computer science (RelMiCS 10) : 5th international workshop on applications of Kleene algebra (AKA 5) : Apr 2008, ------. (Lecture Notes in Computer Science ; 4988)
紙図書
Springerc2008.<M17-08-1262>
国立国会図書館
  • 件名...-- Congresses. Algebraic logic -- Congresses. Computer science -- Mathemati...

Relations and Kleene algebra in computer science : 9th international conference on relational methods in computer science and 4th international workshop on applications of Kleene algebra, RelMiCS/AKA 2006 : Manchester, UK, August/September, 2006 : proceedings. : RelMiCS-9 : AKA 2006 : Aug 2006, Manchester, UK. (Lecture Notes in Computer Science ; 4136)

Relations and Kleene algebra in computer science : 9th international conference on relational methods in computer science and 4th international workshop on applications of Kleene algebra, RelMiCS/AKA 2006 : Manchester, UK, August/September, 2006 : proceedings. : RelMiCS-9 : AKA 2006 : Aug 2006, Manchester, UK. (Lecture Notes in Computer Science ; 4136)
紙図書
Springerc2006.<M17-06-3042>
国立国会図書館
  • 件名Algebraic logic -- Congresses. Computer science -- Mathemati...

Algebraic coding theory and information theory : DIMACS workshop : algebraic coding theory and information theory : December 15-18, 2003 : Rutgers University : Piscataway, New Jersey. : 2001-2005 special focus on computational information theory and coding : 4-year special focus on computational information theory and coding : Dec 2003, Piscataway, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 68)

Algebraic coding theory and information theory : DIMACS workshop : algebraic coding theory and information theory : December 15-18, 2003 : Rutgers University : Piscataway, New Jersey. : 2001-2005 special focus on computational information theory and coding : 4-year special focus on computational information theory and coding : Dec 2003, Piscataway, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 68)
紙図書
American Mathematical Societyc2005.<M17-05-1783>
国立国会図書館
  • 件名...-- Congresses. Algebraic logic -- Congresses.

Relational and algebraic methods in computer science : 19th international conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings

Relational and algebraic methods in computer science : 19th international conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings
紙図書
Uli Fahrenberg ... [et al.] (eds.)Springerc2021
全国の図書館

Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Giorgio Levi, Mario Rodríguez Artalejo, (eds.). (Lecture notes in computer science)

Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Giorgio Levi, Mario Rodríguez Artalejo, (eds.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1994.<M15-A9454>
国立国会図書館
  • 件名Logic programming -- Congresses. Algebraic logic -- Congresses.

Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner, G. Levi (eds.). (Lecture notes in computer science)

Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner, G. Levi (eds.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1992.<M15-A8363>
国立国会図書館
  • 件名Logic programming -- Congresses. Algebraic logic -- Congresses.

Relational and algebraic methods in computer science : 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014, proceedings : [pbk.]

Relational and algebraic methods in computer science : 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014, proceedings : [pbk.]
紙図書
Peter Höfner ... [et al.] (eds.)Springerc2014
全国の図書館

Algebraic Logic and Universal Algebra in Computer Science : conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings / C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.). (Lecture notes in computer science)

Algebraic Logic and Universal Algebra in Computer Science : conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings / C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1990.<M15-A6614>
国立国会図書館
  • 件名Algebraic logic -- Congresses. Algebra, Universal -- Congres...

Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings / H. Kirchner, W. Wechler, eds. (Lecture notes in computer science)

Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings / H. Kirchner, W. Wechler, eds. (Lecture notes in computer science)
紙図書
Springer-Verlagc1990.<M15-A7511>
国立国会図書館
  • 件名Logic programming -- Congresses. Algebraic logic -- Congresses.

Relations and kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, November 1-5, 2009 : proceedings

Relations and kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, November 1-5, 2009 : proceedings
紙図書
Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller (eds.)Springerc2009
全国の図書館

Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings / J. Grabowski, P. Lescanne, W. Wechler (eds.). (Lecture notes in computer science)

Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings / J. Grabowski, P. Lescanne, W. Wechler (eds.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1988.<M15-A5328>
国立国会図書館
  • 件名Logic programming -- Congresses. Algebraic logic -- Congresses.

Logic and its applications

Logic and its applications
紙図書
Andreas Blass, Yi Zhang, editorsAmerican Mathematical Societyc2005
全国の図書館

Logic and algebra

Logic and algebra
紙図書
edited by Aldo Ursini, Paolo AglianòMarcel Dekkerc1996
全国の図書館

Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings

Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
紙図書
Michael Hanus, Jan Heering, Karl Meinke, (eds.)Springer-Verlagc1997
全国の図書館

Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings

Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings
紙図書
Michael Hanus, Mario Rodríguez-Artalejo (eds.)Springerc1996
全国の図書館

Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings

Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings
紙図書
Giorgio Levi, Mario Rodríguez-Artalejo (eds.)Springer-Verlagc1994
全国の図書館

Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings : gw : us

Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings : gw : us
紙図書
H. Kirchner, G. Levi (eds.)Springer-Verlagc1992
全国の図書館
RSS