yr 〜
yr

Search results 72

2016 IEEE 46th international symposium on multiple-valued logic (ISMVL 2016) : Sapporo, Japan : 18-20 May 2016 : ISMVL week : ISMVL-2016 : May 2016, Sapporo, Japan.

2016 IEEE 46th international symposium on multiple-valued logic (ISMVL 2016) : Sapporo, Japan : 18-20 May 2016 : ISMVL week : ISMVL-2016 : May 2016, Sapporo, Japan.
Paper図書
IEEE[2016]<M17-18-1101>
National Diet Library
  • Subject HeadingMany-valued logic--Congresses. Many-valued logic.

2015 IEEE interrnational symposium on multiple-valued logic : (ISMVL 2015) : Waterloo, Ontario, Canada : 18-20 May 2015 : 45th international symposium on multiple-valued logic : May 2015, Waterloo, Canada.

2015 IEEE interrnational symposium on multiple-valued logic : (ISMVL 2015) : Waterloo, Ontario, Canada : 18-20 May 2015 : 45th international symposium on multiple-valued logic : May 2015, Waterloo, Canada.
Paper図書
IEEE[2015]<M17-17-1453>
National Diet Library
  • Subject HeadingMany-valued logic--Congresses. Many-valued logic.

2012 IEEE 42nd international symposium on multiple-valued logic : (ISMVL 2012) : Victoria, British Columbia, Canada : 14-16 May 2012 : ISMVL-2012 symposium : May 2012, Victoria, Canada.

2012 IEEE 42nd international symposium on multiple-valued logic : (ISMVL 2012) : Victoria, British Columbia, Canada : 14-16 May 2012 : ISMVL-2012 symposium : May 2012, Victoria, Canada.
Paper図書
IEEEc2012.<M17-13-1253>
National Diet Library

2009 39th IEEE international symposium on multiple-valued logic : (ISMVL 2009) : Naha, Okinawa, Japan : 21-23 May 2009. : May 2009, Naha, Japan.

2009 39th IEEE international symposium on multiple-valued logic : (ISMVL 2009) : Naha, Okinawa, Japan : 21-23 May 2009. : May 2009, Naha, Japan.
Paper図書
IEEEc2009.<M17-10-4166>
National Diet Library

36th international symposium on multiple-valued logic : ISMVL 2006 : 17-20 May 2006 : Singapore. : 36th international symposium on multiple valued logic : May 2006, Singapore.

36th international symposium on multiple-valued logic : ISMVL 2006 : 17-20 May 2006 : Singapore. : 36th international symposium on multiple valued logic : May 2006, Singapore.
Paper図書
IEEE[c2006]<M17-09-1685>
National Diet Library

多値論理に基づくマルチエージェントシステム

多値論理に基づくマルチエージェントシステム
Digital博士論文障害者向け資料あり
Song, Yang2022-03
National Diet Library

34th international symposium on multiple-valued logic : proceedings : University of Toronto, Toronto, Canada : May 19-22, 2004. : May 2004, Toronto, Canada.

34th international symposium on multiple-valued logic : proceedings : University of Toronto, Toronto, Canada : May 19-22, 2004. : May 2004, Toronto, Canada.
Paper図書
IEEE Computer Societyc2004.<M17-04-3513>
National Diet Library

An introduction to many-valued logics hbk

An introduction to many-valued logics hbk
Paper図書
Robert AckermannRoutledge2020
Other Libraries in Japan

33rd international symposium on multiple-valued logic : proceedings : 16-19 May 2003 : Meiji University, Tokyo, Japan. : May 2003, Tokyo, Japan. (Multiple-Valued Logic)

33rd international symposium on multiple-valued logic : proceedings : 16-19 May 2003 : Meiji University, Tokyo, Japan. : May 2003, Tokyo, Japan. (Multiple-Valued Logic)
Paper図書
IEEE Computer Societyc2003.<M17-04-170>
National Diet Library

32nd IEEE international symposium on multiple-valued logic : proceedings : May 15-18, 2002, Boston, Massachusetts, USA. : May 2002, Boston, MA. (Multiple-Valued Logic)

32nd IEEE international symposium on multiple-valued logic : proceedings : May 15-18, 2002, Boston, Massachusetts, USA. : May 2002, Boston, MA. (Multiple-Valued Logic)
Paper図書
IEEE Computer Societyc2002.<M17-03-391>
National Diet Library

31st IEEE international symposium on multiple-valued logic : proceedings : 22-24 May 2001 Warsaw, Poland. May 2001, Warsaw, Poland.

31st IEEE international symposium on multiple-valued logic : proceedings : 22-24 May 2001 Warsaw, Poland. May 2001, Warsaw, Poland.
Microform図書
IEEE Computer Societyc2001.<M17-LS-03-55>
National Diet Library

Truth and falsehood : an inquiry into generalized logical values

Truth and falsehood : an inquiry into generalized logical values
Paper図書
Yaroslav Shramko, Heinrich WansingSpringerc2011
Other Libraries in Japan

多値論理に基づくマルチエージェントシステム

多値論理に基づくマルチエージェントシステム
Digital博士論文
Song, Yang2022-03
Available onlineOther Libraries in Japan

An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems pbk.

An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems pbk.
Paper図書
Merrie BergmannCambridge University Pressc2008
Other Libraries in Japan

Function algebras on finite sets : a basic course on many-valued logic and clone theory

Function algebras on finite sets : a basic course on many-valued logic and clone theory
Paper図書
Dietlinde LauSpringer Berlinc2006
Other Libraries in Japan

Automated reasoning and practical applications

Automated reasoning and practical applications
Paper図書
Leonard Bolc, Piotr BorowikSpringerc2003
Other Libraries in Japan

Possibilities and paradox : an introduction to modal and many-valued logic

Possibilities and paradox : an introduction to modal and many-valued logic
Paper図書
J.C. Beall and Bas C. van FraassenOxford University Press2003
Other Libraries in Japan

Lattice-valued logic : an alternative approach to treat fuzziness and incomparability

Lattice-valued logic : an alternative approach to treat fuzziness and incomparability
Paper図書
Yang Xu ... [et al.]Springerc2003
Other Libraries in Japan

A treatise on many-valued logics

A treatise on many-valued logics
Paper図書
Siegfried GottwaldResearch Studies Pressc2001
Other Libraries in Japan

Preprimal algebras / by Klaus Denecke. (Mathematical research = Mathematische forschung ; Bd. 11)

Preprimal algebras / by Klaus Denecke. (Mathematical research = Mathematische forschung ; Bd. 11)
Paper図書
Akademie-Verlag1982.<MA67-338>
National Diet Library
  • Subject HeadingAlgebra, Universal. Many-valued logic.