小樽商科大学の蔵書を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 511.3)
該当件数:41件
液状化の脅威 / 濱田政則著
東京 : 岩波書店 , 2012.3. - (叢書震災と社会)
図書
Collected works / Kurt Gödel ; edited by Solomon Feferman ... [et al.]
v. 1,v. 2,v. 3. - Pbk. ed. - New York ; Oxford : Oxford University Press , 2001, c1986-c1995
Descriptive complexity / Neil Immerman
New York : Springer , c1999. - (Graduate texts in computer science)
New York : Springer Science+Business Media, LLC , c1999. - (Graduate texts in computer science)
Complexity and real computation / Lenore Blum ... [et al.] ; foreword by Richard M. Karp
New York : Springer , c1998
DNA computing : new computing paradigms / G. Păun, G. Rozenberg, A. Salomaa
Berlin : Springer , c1998. - (Texts in theoretical computer science ; An EATCS series)
Bounded arithmetic, propositional logic, and complexity theory / Jan Krajíček
Cambridge, England ; New York : Cambridge University Press , 1995. - (Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; v. 60)
Computability : a mathematical sketchbook / Douglas S. Bridges
: us,: gw. - New York ; Tokyo : Springer-Verlag , c1994. - (Graduate texts in mathematics ; 146)
On formally undecidable propositions of Principia mathematica and related systems / Kurt Gödel ; translated by B. Meltzer ; introduction by R.B. Braithwaite
: pbk. - New York : Dover Publications , 1992
Complex systems dynamics : an introduction to automata networks / Gérard Weisbuch ; translated by Sylvie Ryckebusch
: pbk. - Redwood City, Calif. : Addison-Wesley , c1991. - (Santa Fe Institute studies in the sciences of complexity ; Lecture notes ; v. 2)
Automated theorem-proving in non-classical logics / Paul B. Thistlewaite, Michael A. McRobbie and Robert K. Meyer
: Pitman,: Wiley. - London : Pitman. - New York : Wiley , 1988. - (Research notes in theoretical computer science)
Gödel's theorem in focus / edited by S.G. Shanker
: hard,: pbk. - London ; New York : Croom Helm , c1988. - (Croom Helm philosophers in focus series)
Forever undecided : a puzzle guide to Gödel / by Raymond Smullyan
New York : Knopf , 1987
Theory of deductive systems and its applications / S.Yu. Maslov ; translated by Michael Gelfond and Vladimir Lifschitz
Cambridge, Mass. : MIT Press , c1987. - (MIT Press series in the foundations of computing)
Computability and logic / Daniel E. Cohen
: U.K. - : U.S., pbk. - Chichester, West Sussex, England : E. Horwood. - New York : Halsted Press [distributor] , 1987. - (Ellis Horwood series in mathematics and its applications)
From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 271)
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews
: pbk.. - Orlando ; Tokyo : Academic Press , 1986. - (Computer science and applied mathematics)
Automata on infinite words / Ecole de printemps d'informatique théorique, Le Mont Dore, May 14-18, 1984 ; edited by M. Nivat and D. Perrin
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985. - (Lecture notes in computer science ; 192)
Automata, languages and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / edited by Wilfried Brauer
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985. - (Lecture notes in computer science ; 194)
The lambda calculus : its syntax and semantics / H.P. Barendregt
: pbk. - Rev. ed. - Amsterdam ; New York : North-Holland. - New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1984. - (Studies in logic and the foundations of mathematics ; v. 103)