本文に飛ぶ

年 〜
年

検索結果 5 件

Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning (Intelligent systems reference library ; volume 88)

Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning (Intelligent systems reference library ; volume 88)
紙図書
Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu.Springer[2015]<M159-B158>
国立国会図書館
  • 著者標目Abe, Jair Minoro. 赤間, 世紀, 1960- Nakamatsu, Kazu...

Advances in logic, artificial intelligence and robotics : LAPTEC 2002. : 3rd congress of logic applied to technology : Nov 2002, Sao Paulo, Brazil. (Frontiers in Artificial Intelligence and Applications ; 85)

Advances in logic, artificial intelligence and robotics : LAPTEC 2002. : 3rd congress of logic applied to technology : Nov 2002, Sao Paulo, Brazil. (Frontiers in Artificial Intelligence and Applications ; 85)
紙図書
IOSc2002.<M17-04-1266>
国立国会図書館
  • 著者標目Abe, Jair Minoro. Silva Filho, João Inácio da. ...

Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning : hbk

Introduction to annotated logics : foundations for paracomplete and paraconsistent reasoning : hbk
紙図書
Jair Minoro Abe, Seiki Akama, Kazumi NakamatsuSpringerc2015
全国の図書館

Advances in logic based intelligent systems : selected papers of LAPTEC 2005

Advances in logic based intelligent systems : selected papers of LAPTEC 2005
紙図書
edited by Kazumi Nakamatsu and Jair Minoro AbeIOS Pressc2005
全国の図書館

Unsolved problems on mathematics for the 21st century : a tribute to Kiyoshi Iséki's 80th birthday

Unsolved problems on mathematics for the 21st century : a tribute to Kiyoshi Iséki's 80th birthday
紙図書
ed. by Jair Minoro Abe and Shotaro TanakaIOS pressc2001
全国の図書館

検索結果は以上です。

RSS