東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 511/.3)
該当件数:7件
Introduction to mathematical logic / Elliott Mendelson
New York : Van Nostrand , c1964. - (The university series in undergraduate mathematics)
図書
Advances in fuzzy set theory and applications / edited by Madan M. Gupta, associate editors, Rammohan K. Ragade, Ronald R. Yager
Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributors for the USA and Canada, Elsevier North-Holland , 1979
Fuzzy automata and decision processes / edited by Madan M. Gupta, with associate editors George N. Saridis, Brian R. Gaines
New York : North-Holland , c1977
Metalogic : an introduction to the metatheory of standard first order logic / Geoffrey Hunter
: pbk. - Berkeley : University of California Press , c1971
Grammars for programming languages / J. Craig Cleaveland, Robert C. Uzgalis
: pbk. - New York : Elsevier , c1977. - (Elsevier computer science library ; . Programming languages series ; 4)
Computer science and multiple valued logic : theory and applications / edited by David C. Rine
Amsterdam : North-Holland Pub., c1977
The mathematical theory of L systems / Grzegorz Rozenberg, Arto Salomaa
New York : Academic Press , 1980. - (Pure and applied mathematics ; 90)