富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Logic Symbolic and mathematical)
該当件数:32件
Optimization and computational logic / Ken McAloon, Carol Tretkoff
New York : Wiley , c1996. - (Wiley-Interscience series in discrete mathematics and optimization)
図書
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas
: us,: gw. - 2nd ed. - New York : Tokyo : Springer-Verlag , c1994. - (Undergraduate texts in mathematics)
Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings / A. Nerode, Yu. V. Matiyasevich (eds.)
: us,: gw. - Berlin : Tokyo : Springer-Verlag , c1994. - (Lecture notes in computer science ; 813)
Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)
: gw,: us. - Berlin : New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 827 . Lecture notes in artificial intelligence)
Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 / organized by CHEOPS ESPRIT BRA 3215 : sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 ; edited by Luc J.M. Claesen, Michael J.C. Gordon
Amsterdam : New York : North-Holland , 1993. - (IFIP transactions ; A . Computer science and technology ; 20)
Logic for applications / Anil Nerode, Richard A. Shore
: us,: gw. - New York : Springer-Verlag , c1993. - (Texts and monographs in computer science)
Symbolic and knowledge-based signal processing / editors, Alan V. Oppenheim and S. Hamid Nawab
Englewood Cliffs, N.J. : Prentice Hall , c1992. - (Prentice Hall signal processing series)
Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings / D. Pearce, H. Wansing (eds.)
: Berlin,: New York. - Berlin : New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 619 . Lecture notes in artificial intelligence)
Fuzzy approach to reasoning and decision-making : selected papers of the international symposium held at Bechyně, from June 25 to 29, 1990 / edited by Vilém Novák ... [et al.]
: ne,: us. - Dordrecht : Boston ; Praha : Kluwer Academia , c1992. - (Theory and decision library ; Series D, System theory, knowledge engineering, and problem solving ; v. 8)
Machinations : computational studies of logic, language, and cognition / edited by Richard Spencer-Smith and Steve Torrance
: pbk. - Norwood, N.J. : Ablex Pub. Corp. , c1992
Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings / J. van Eijck (ed.)
:gw,:us. - Berlin : Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 478 . Lecture notes in artificial intelligence)
Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings / K.H. Bläsius, U. Hedtstück, C.-R. Rollinger (eds.)
: gw,: us. - Berlin : Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 418 . Lecture notes in artificial intelligence)
Logic for computer scientists / Uwe Schöning
: us,: gw. - Boston : Birkhäuser , 1989. - (Progress in computer science and applied logic ; v. 8)
A theory of heuristic information in game-tree search / Chun-Hung Tzeng
: us,: gw. - Berlin : Tokyo : Springer-Verlag , c1988. - (Symbolic computation ; . Artificial intelligence)
Non-standard logics for automated reasoning / edited by Philippe Smets ... [et al.]
London ; Tokyo : Academic Press , 1988
Theory of logical calculi : basic theory of consequence operations / Ryszard Wójcicki
Dordrecht : Boston : Kluwer Academic Publishers , c1988. - (Synthese library ; v. 199)
Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee
Boston : Tokyo : Academic Press , 1987, c1. - (Computer science classics)
Collected works / Kurt Gödel ; edited by Solomon Feferman ... [et al.]
v. 1 - v. 5. - New York ; Oxford ; Tokyo : Oxford University Press , 1986-2003
Mass terms and model-theoretic semantics / Harry C. Bunt
Cambridge [Cambridgeshire] : New York : Cambridge University Press , 1985. - (Cambridge studies in linguistics ; 42)
: us,: gw. - New York : Springer-Verlag , c1984. - (Undergraduate texts in mathematics)