帝京科学大学の蔵書を検索できます。
他大学図書館等の蔵書を検索できます。
国内の学協会誌や研究紀要などを中心とした論文等を検索できます。
国立国会図書館、都道府県立図書館、政令指定都市の市立図書館等の蔵書を検索できます。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Logic Symbolic and mathematical)
該当件数:14件
Meaning and necessity : a study in semantics and modal logic / by Rudolf Carnap
2nd ed. - Chicago : The University of Chicago Press , 1988. - (Midway reprint)
図書
A theory of heuristic information in game-tree search / Chun-Hung Tzeng
: us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Symbolic computation ; . Artificial intelligence)
Formal methods in artificial intelligence / Allan Ramsay
: pbk.. - Cambridge ; New York : Cambridge University Press , 1988. - (Cambridge tracts in theoretical computer science ; 6)
Mathematical logic for computer science / Lu Zhongwan
Singapore ; Teaneck, N.J. : World Scientific , c1989
Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee
Boston ; Tokyo : Academic Press , 1987, c1973. - (Computer science classics)
The anagogic theory of Wittgenstein's 'Tractatus' / by Roy Emanuel Lemoine
The Hague ; Paris : Mouton , 1975. - (Janua linguarum ; Series minor, 214)
Wittgenstein's Tractatus : a critical exposition of its main lines of thought / by Erik Stenius
Westport, Conn. : Greenwood Press , 1981, c1960
Representing and reasoning with probabilistic knowledge : a logical approach to probabilities / Fahiem Bacchus
Cambridge, Mass. : MIT Press , c1990. - (The MIT Press series in artificial intelligence)
Tractatus logico-philosophicus / Ludwig Wittgenstein ; translated by D.F. Pears & B.F. McGuinness ; with the introduction by Bertrand Russell
: pbk. - London : Routledge , 1974, c1961
Logische Syntax der Sprache / von Rudolf Carnap
2. unveränderte Aufl.. - Wien : Springer-Verlag , 1968
Tense and tense logic / by John E. Clifford
The Hague : Mouton , 1975. - (Janua linguarum ; Series minor, 215)
Word and object / Willard Van Orman Quine
: pbk. - Cambridge, Mass. : M. I. T. Press , c1960
Minds and machines
Vol. 1, no. 1 (Feb. 1991)-. - Dordrecht ; Boston : Kluwer Academic Publishers , c1991-
雑誌
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-