小樽商科大学の蔵書を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Logic Symbolic and mathematical)
該当件数:80件
Alan Turing : his work and impact / edited by S. Barry Cooper and Jan van Leeuwen
Amsterdam : Elsevier , c2013
図書
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
A natural history of negation / Laurence R. Horn
: pbk. - Stanford, Calif. : CLSI Publications , c2001. - (The David Hume series, philosophy and cognitive science reissues)
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)
Multi-agent rationality : 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'97, Ronneby, Sweden, May 13-16, 1997 : proceedings / Magnus Boman, Walter Van de Velde (eds.)
Berlin ; Tokyo : Springer , c1997. - (Lecture notes in computer science ; 1237 . Lecture notes in artificial intelligence)
Finite and infinite combinatorics in sets and logic : [proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Banff, Alberta, Canada, April 21-May 4, 1991] / edited by N.W. Sauer, R.E. Woodrow, and B.
Dordrecht ; Boston : Kluwer Academic Publishers , c1993. - (NATO ASI series ; series C . Mathematical and physical sciences ; v. 411)
Conditional logic in expert systems / edited by I.R. Goodman ... [et al.]
Amsterdam ; New York : North-Holland. - New York, N.Y., U.S.A. : Distributors for the United States and Canada, Elsevier Science Pub. Co. , 1991
Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge : March 7-9, 1988, Pacific Grove, California / edited by Moshe Y. Vardi
: pbk. - Los Altos, Calif. : Morgan Kaufmann Publishers , c1988
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)
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)
Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984 / edited by Veronica Dahl and Patrick Saint-Dizier
U.S.. - Amsterdam ; New York : North-Holand. - New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1985. - (Natural language understanding and logic programming ; [1])
Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / edited by Rohit Parikh
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1985. - (Lecture notes in computer science ; 193)
Natural language understanding and logic programming
Amsterdam ; Tokyo : North-Holand. - New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1985-
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas
: us,: gw. - New York : Springer-Verlag , c1984. - (Undergraduate texts in mathematics)
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings / edited by R.E. Shostak
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984. - (Lecture notes in computer science ; 170)
Philosophische Grammatik / Ludwig Wittgenstein ; herausgegeben von Rush Rhees
: kart. - 1. Aufl. - Frankfurt am Main : Suhrkamp , 1984, c1969. - (Suhrkamp Taschenbuch Wissenschaft ; 504 . Werkausgabe / Ludwig Wittgenstein ; Bd. 4)
Tractatus logico-philosophicus ; Tagebücher 1914-1916 ; Philosophische Untersuchungen / Ludwig Wittgenstein
: kart. - 1. Aufl. - Frankfurt am Main : Suhrkamp , 1984. - (Suhrkamp Taschenbuch Wissenschaft ; 501 . Werkausgabe / Ludwig Wittgenstein ; Bd. 1)
The computer modelling of mathematical reasoning / Alan Bundy
: pbk. - London ; New York : Academic Press , 1983