ようこそ
ゲスト
さん
MyLibrary ログイン
ヘルプ
入力補助
English
OPAC
図書館サービス
図書新着案内
雑誌最新巻号案内
AV資料新着案内
雑誌タイトルリスト
本学刊行紀要・論集タイトルリスト
指定図書
オンラインジャーナルリスト
AV資料タイトルリスト
貸出ランキング
利用者サービス(MyLibrary)
貸出・予約状況照会
文献複写・貸借申込み
文献複写・貸借申込み状況照会
図書購入申込み
図書購入申込み状況照会
学生希望図書リクエスト
学生希望図書リクエスト状況照会
メールアドレス登録・変更・削除
利用者情報編集
予算状況照会
その他
データベース
東北学院大学図書館HP
大学HP
書誌詳細に戻る
選択資料から書架並びで前後20冊ずつを表示します。
Artificial intelligence programming / Eugene Charniak, Christopher K. Riesbeck, Drew V. McDermott
Q/336ac
a0180521377b
土:中央図書館閉架書庫
Social collective intelligence : combining the powers of humans and machines to build a smarter society / Daniele Miorandi ... [et al.], editors
Q/337sm
a0114008838b
土:中央図書館閉架書庫
Encyclopaedia of linguistics, information, and control / editor-in-chief, A.R. Meetham ; associate editor, R.A. Hudson
Q/360em
a0181416376b
土:中央図書館閉架書庫
An introduction to information theory / Fazlollah M. Reza
Q/360ir
a0181228487b
土:中央図書館閉架書庫
Arbeitstagung Bonn, 1984 : proceedings of the meeting held by the Max-Planck-Institut für Mathematik, Bonn, June 15-22, 1984 / edited by F. Hirzebruch, J. Schwermer, and S. Suter
QA/1a/1984
a0181573518b
土:中央図書館閉架書庫
Groupe de Brauer : séminaire, les plans-sur-bex, Suisse, 1980 / edité par M. Kervaire et M. Ojanguren
QA/3g/1980
a0181572928b
土:中央図書館閉架書庫
Bernhard Riemann's gesammelte mathematische Werke und wissenschaftlicher Nachlass / herausgegeben unter Mitwirkung von Richard Dedekind von Heinrich Weber
QA/3br
a0181393504b
土:中央図書館閉架書庫
Complexe cotangent et déformations II / Luc Illusie
QA/3ci
a0181574464b
土:中央図書館閉架書庫
Carl Ludwig Siegel Gesammelte Abhandlungen / hrsg. von K. Chandrasekharan und H. Maass
Bd. 1
QA/3cs/1
a0181345736b
土:中央図書館閉架書庫
Œuvres mathématiques d'Évariste Galois / publiées sous les auspices de la Société mathématique de France ; avec une introduction par Émile Picard
QA/3og
a0181394089b
土:中央図書館閉架書庫
Séminaire Bourbaki vol. 1977/78, exposés 507-524 : avec table par noms d'auteurs de 1967/68 à 1977/78
QA/3sb/1977
a0181572535b
土:中央図書館閉架書庫
Séminaire Bourbaki vol. 1978/79, exposés 525-542 : avec table par noms d'auteurs de 1967/68 à 1978/79
QA/3sb/1978
a0181572818b
土:中央図書館閉架書庫
Séminaire Bourbaki vol. 1979/80, exposés 543-560 : avec table par noms d'auteurs de 1967/68 à 1979/80
QA/3sb/1979
a0181573078b
土:中央図書館閉架書庫
Symposium on semantics of algorithmic languages : [papers] / edited by E. Engeler
QA/3se
a0181572755b
土:中央図書館閉架書庫
Probability theory and mathematical statistics / [A.N. Kolmogorov] ; edited by A.N. Shiryayev ; translated from the Russian by G. Lindquist
QA/3sk/2
a0192008410b
土:中央図書館閉架書庫
Séminaire Pierre Lelong (analyse) année 1974/75 / edité par Pierre Lelong
QA/3sl/1974
a0181572294b
土:中央図書館閉架書庫
Séminaire Pierre Lelong (analyse) année 1975/76 : et, Journées sur les fonctions analytiques, Toulouse, 1976 / edité par Pierre Lelong
QA/3sl/1976
a0181572362b
土:中央図書館閉架書庫
Séminaire Pierre Lelong - Henri Skoda (Analyse) Années 1978/79 / edité par Pierre Lelong et Henri Skoda
QA/3sl/1978
a0181572960b
土:中央図書館閉架書庫
Treatise on analysis / J. Dieudonné ; translated by Laura Fainsilber
v. 8
QA/3td/8
a3093009856b
土:中央図書館閉架書庫
Tomita's theory of modular Hilbert algebras and its applications / M. Takesaki
QA/3tt
a0181572760b
土:中央図書館閉架書庫
Topological vector spaces, distributions and kernels / Franc̦ois Treves
QA/3tt
a3093022375b
土:中央図書館閉架書庫
Lexicon of mathematics = Lexique de mathematique
QA/5La
a0180974226b
土:中央図書館閉架書庫
Russian-English vocabulary, with a grammatical sketch : to be used in reading mathematical papers
QA/5ra
a0181523847b
土:中央図書館閉架書庫
Mathematics in a postmodern age : a Christian perspective / edited by Russell W. Howell and W. James Bradley
QA/8mh
a0101024353b
土:中央図書館閉架書庫
Mathematics and reality / Mary Leng
QA/8ml
a0112010551b
土:中央図書館閉架書庫
Mathematical objects and mathematical knowledge / edited by Michael D. Resnik
QA/8mr
a0195018574b
土:中央図書館閉架書庫
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Müller and G.E. Sacks
QA/9r/1984
a0181573371b
土:中央図書館閉架書庫
Logics of time and computation / Robert Goldblatt
QA/9Lg
a0193025846b
土:中央図書館閉架書庫
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic / edited by D. van Dalen, D. Lascar, T. J. Smiley
QA/9Ll/1980
a3090022884b
土:中央図書館閉架書庫
Logic, methodology, and philosophy of science : proceedings of the 1960 International Congress / edited by L. Ernest Nagel, Patrick Suppes, Alfred Tarski
QA/9Ln
a0181733918b
土:中央図書館閉架書庫
Logic : a programed text for two-valued and three-valued logics / Edward J. Zoll
QA/9Lz
a0181774558b
土:中央図書館閉架書庫
Algorithms and complexity in mathematics, epistemology, and science : proceedings of 2015 and 2016 ACMES conferences / Nicolas Fillion, Robert M. Corless, Ilias S. Kotsireas, editors
QA/9af
a3019000601b
土:中央図書館閉架書庫
Beginning model theory : the completeness theorem and some consequences / by Jane Bridge
QA/9bb
a0181774610b
土:中央図書館閉架書庫
Bounded arithmetic, propositional logic, and complexity theory / Jan Krajíček
QA/9bk
a3005012260b
土:中央図書館閉架書庫
Collected works / Kurt Gödel ; edited by Solomon Feferman ... [et al.]
v. 2
QA/9cg/2
a3016004832b
土:中央図書館閉架書庫
Computation and automata / Arto Salomaa
QA/9cs
a3005012124b
土:中央図書館閉架書庫
Choice sequences : a chapter of intuitionistic mathematics / by A.S. Troelstra
QA/9ct
a0116003277b
土:中央図書館閉架書庫
Foundational studies : selected works / Andrzej Mostowski ; editorial committee, Kazimierz Kuratowski ... [et al.]
v. 1
QA/9fm/1
a0180292470b
土:中央図書館閉架書庫
Foundational studies : selected works / Andrzej Mostowski ; editorial committee, Kazimierz Kuratowski ... [et al.]
v. 2
QA/9fm/2
a0180292465b
土:中央図書館閉架書庫
The foundations of mathematics : and other logical essays / by Frank Plumpton Ramsey ; edited by R.B. Braithwaite ; preface by G.E. Moore
QA/9fr
a0101004027b
土:中央図書館閉架書庫
ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by J. Diller and G.H. Müller
: gw
QA/9ii/1974
a0116003261b
土:中央図書館閉架書庫
Introduction to logic and to the methodology of deductive sciences / Alfred Tarski
QA/9it
a0181793220b
土:中央図書館閉架書庫
Model theory / Roland Fraïssé ; [translated by David Louvish]
QA/9mf
a0182452297b
土:中央図書館閉架書庫
Model theory / Wilfrid Hodges
QA/9mh
a3005012187b
土:中央図書館閉架書庫
Many-valued logics / Grzegorz Malinowski
QA/9mm
a0194027834b
土:中央図書館閉架書庫
The nature of mathematics : a critical survey / Max Black
QA/9nb
a0101003987b
土:中央図書館閉架書庫
The nature of mathematics : a critical survey / by Max Black
QA/9nb
a0181033090b
土:中央図書館閉架書庫
Observations on the nature of demonstrative evidence / Thomas Beddoes
QA/9ob
a0180196127b
土:中央図書館閉架書庫
Proof complexity / Jan Krajíček
: hardback
QA/9pk
a3019000450b
土:中央図書館閉架書庫
Principia mathematica to *56 / by Alfred North Whitehead and Bertrand Russell
QA/9pw
a0180196132b
土:中央図書館閉架書庫
Semantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay
QA/9sg
a0182452386b
土:中央図書館閉架書庫
Strict finitism : an examination of Ludwig Wittgenstein's remarks on the foundations of mathematics / by Charles F. Kielkopf
QA/9sk
a0182453196b
土:中央図書館閉架書庫
Le système de Leibniz et ses modèles mathématiques : étoiles, schémas, points / Michel Serres
QA/9ss
a0180296020b
土:中央図書館閉架書庫
Translations from the philosophical writings of Gottlob Frege / edited by Peter Geach and Max Black
QA/9tf
a0181794947b
土:中央図書館閉架書庫
Ad infinitum-- the ghost in Turing's machine : taking God out of mathematics and putting the body back in : an essay in corporeal semiotics / by Brian Rotman
QA/9tr
a0194027944b
土:中央図書館閉架書庫
The complexity of Boolean functions / Ingo Wegener
QA/10cw
a0180448434b
土:中央図書館閉架書庫
Cours théorique et pratique d'algébre financiére : a l'usage des Ecoles supérieures de Commerce, des Etablissements d'enseignement moyen du premier degré et des personnes s'occupant d'opérations financiéres / par Théophile Klompers
QA/11ck
a0182196837b
土:中央図書館閉架書庫
Developing essential understanding of expressions, equations, and functions for teaching mathematics in grades 6-8 / Gwendolyn Lloyd, Beth Herbel-Eisenmann, Jon R. Star
: [pbk.]
QA/11dl
a0118100742b
土:中央図書館閉架書庫
Cognition and computers : studies in learning / Robert W. Lawler ... [et al.]
QA/20cr
a0183216820b
土:中央図書館閉架書庫
Recognizing excellence in the mathematical sciences : an international compilation of awards, prizes, and recipients / edited by Janice M. Jaguszewski
QA/20rj
a0198022999b
土:中央図書館閉架書庫
Science and language : selected essays / edited by Alfred M. Bork
QA/20sb
a0181474520b
土:中央図書館閉架書庫
Selections illustrating the history of Greek mathematics / with an English translation by Ivor Thomas
v. 1
QA/22s/1
a0181203110b
土:中央図書館閉架書庫
Selections illustrating the history of Greek mathematics / with an English translation by Ivor Thomas
v. 2
QA/22s/2
a0181203330b
土:中央図書館閉架書庫
Ludic proof : Greek mathematics and the Alexandrian aesthetic / Reviel Netz
: hardback
QA/22Ln
a0111014220b
土:中央図書館閉架書庫
Contributions of Mexican mathematicians abroad in pure and applied mathematics : second meeting, Matemáticos Mexicanos en el Mundo, December 15-19, 2014, Centro de Investigación en Matemáticas, Guanajuato, Mexico / Fernando Galaz-García, Juan Carlos Pardo Millán, Pedro Solórzano, editors
QA/27cg
a3018002115b
土:中央図書館閉架書庫
No royal road : Luca Pacioli and his times / R. Emmett Taylor
QA/29nt
a0181281145b
土:中央図書館閉架書庫
Archimedis opera omnia cum commentariis Eutocii / iterum edidit Iohan Ludvig Heiberg ; corrigenda adiecit Evangelos S. Stamatis
v. 1
QA/31aa/1
a0182401596b
土:中央図書館閉架書庫
De la sphère et du cylindre ; La mesure du cercle ; Sur les conoïdes et les sphéroïdes / Archimède ; texte établi et traduit par Charles Mugler
QA/31aa/1
a0182388207b
土:中央図書館閉架書庫
Archimedis opera omnia cum commentariis Eutocii / iterum edidit Iohan Ludvig Heiberg ; corrigenda adiecit Evangelos S. Stamatis
v. 2
QA/31aa/2
a0182401601b
土:中央図書館閉架書庫
Archimedis opera omnia cum commentariis Eutocii / iterum edidit Iohan Ludvig Heiberg ; corrigenda adiecit Evangelos S. Stamatis
v. 3
QA/31aa/3
a0182401580b
土:中央図書館閉架書庫
Elementa : preclarissimus liber elementorum Euclidis perspicacissimi : in artem geometrie incipit quāfoelicissime, Venetiis, 1482 / Euclides
QA/31ee
a0114001916b
土:中央図書館閉架書庫
Des Proklus Diadochus philosophische Anfangsgründe der Mathematik : nach den ersten zwei Büchern des Euklidkommentars dargestellt / von Nicolai Hartman
QA/31ph
a0182452941b
土:中央図書館閉架書庫
The works of Archimedes : translated into English, together with Eutocius' commentaries, with commentary, and critical edition of the diagrams / Reviel Netz
v. 1
QA/31wa/1
a0104001308b
土:中央図書館閉架書庫
Applied mathematics : an introduction : mathematical analysis for management / by Chris A. Theodore
QA/37at
a0181331870b
土:中央図書館閉架書庫
College mathematics / Kaj L. Nielsen
QA/37cn
a0180982358b
土:中央図書館閉架書庫
Methods of applied mathematics / Francis B. Hildebrand
QA/37mh
a0111009722b
土:中央図書館閉架書庫
Mathematical methods in engineering : an introduction to the mathematical treatment of engineering problems / by Theodore v. Kármán and Maurice A. Biot
QA/37mv
a0181252542b
土:中央図書館閉架書庫
Numbers and geometry / John Stillwell
QA/39ns
a3097028681b
土:中央図書館閉架書庫
Math on call / [writing: Andrew Kaplan]
: pbk
QA/40m
a5014000440c
土:中央図書館閉架書庫
Geometry to go / [writing: Edward Manfre et al.]
QA/40m
a5014000455c
土:中央図書館閉架書庫
Algebra to go / [writing: Andrew Kaplan et al.]
: pbk
QA/40m
a5016000107c
土:中央図書館閉架書庫