Jump to main content

yr 〜
yr

Search results 6

Typed lambda calculi and applications : 10th international conference, TLCA 2011 : Novi Sad, Serbia, June 1-3, 2011 : proceedings. : 6th international conference on rewriting, deduction, and programming (RDP 2011) : Jun 2011, Novi Sad, Serbia. (Lecture Notes in Computer Science ; 6690. Advanced Research in Computing and Software Science)

Typed lambda calculi and applications : 10th international conference, TLCA 2011 : Novi Sad, Serbia, June 1-3, 2011 : proceedings. : 6th international conference on rewriting, deduction, and programming (RDP 2011) : Jun 2011, Novi Sad, Serbia. (Lecture Notes in Computer Science ; 6690. Advanced Research in Computing and Software Science)
Paper図書
Springerc2011.<M17-11-3213>
National Diet Library
  • Subject HeadingLambda calculus -- Congresses. Nonclassical mathematical logic -- Congresses. Electronic books.

Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings / J. van Eijck (ed.). (Lecture notes in computer science ; 478. Lecture notes in artificial intelligence)

Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings / J. van Eijck (ed.). (Lecture notes in computer science ; 478. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1991.<M15-A7695>
National Diet Library
  • Subject Heading...-- Congresses. Nonclassical mathematical logic -- Congresses.

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. (Studies in logic and the foundations of mathematics ; v. 89)

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. (Studies in logic and the foundations of mathematics ; v. 89)
Paper図書
North-Holland Pub. Co.1977.<MA41-116>
National Diet Library
  • Subject HeadingNonclassical mathematical logic -- Congresses. Model theory -- Congresses. ...

Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory

Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory
Paper図書
edited by Ulrich Höhle and Erich Peter KlementKluwer Academic Publishersc1995
Other Libraries in Japan
  • Subject HeadingNonclassical mathematical logic -- Congresses Fuzzy set theory -- Congresse...
  • Subject Heading (ID)Nonclassical mathematical logic -- Congresses Fuzzy set theory -- Congresse...

Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings : gw : us

Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings : gw : us
Paper図書
J. van Eijck (ed.)Springer-Verlagc1991
Other Libraries in Japan
  • Subject Heading... -- Congresses Nonclassical mathematical logic -- Congresses
  • Subject Heading (ID)... -- Congresses Nonclassical mathematical logic -- Congresses

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Paper図書
edited by A.I. Arruda, N.C.A. da Costa, R. ChuaquiNorth-Holland Pub. Co.1977
Other Libraries in Japan
  • Subject HeadingNonclassical mathematical logic -- Congresses Model theory -- Congresses Co...
  • Subject Heading (ID)Nonclassical mathematical logic -- Congresses Model theory -- Congresses Co...

Reached to the end of result.

RSS