同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(件名: #Computable functions)
該当件数:17件
Computability : a mathematical sketchbook / Douglas S. Bridges
New York : acid-free paper,Berlin : acid-free paper. - New York : Springer-Verlag , c1994. - (Graduate texts in mathematics ; 146)
電子書籍 <OB00867307>
Theory of recursive functions and effective computability / Hartley Rogers, Jr
: pbk. - Cambridge, Mass. : MIT Press , 1987
図書 <BB10148225>
Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis
Cambridge, Mass. : MIT Press , c1993. - (Foundations of computing)
図書 <BB00259233>
A programming approach to computability / A.J. Kfoury, Robert N. Moll, Michael A. Arbib
New York, N.Y. : Springer-Verlag , c1982. - (The AKM series in theoretical computer science). - (Texts and monographs in computer science)
電子書籍 <OB00848662>
Reflexive structures : an introduction to computability theory / Luis E. Sanchis
New York : Springer-Verlag , c1988
電子書籍 <OB00848740>
Algorithmic randomness and complexity / Rodney G. Downey, Denis R. Hirschfeldt
e-ISBN. - New York : Springer , c2010
電子書籍 <OB01023216>
The language of machines : an introduction to computability and formal languages / Robert W. Floyd, Richard Beigel
New York : Computer Science Press , c1994
図書 <BB00274335>
Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey
: pbk. - 4th ed. - Cambridge : Cambridge University Press , 2002
図書 <BB10154499>
STOC '15 : proceedings of the 47th ACM Symposium on Theory of Computing Conference : June 14-17, 2015, Portland, OR, USA / sponsored by ACM SIGACT
New York : ACM , 2015
電子書籍 <OB00765825>
Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A.I. Arruda, N.C.A. da Costa, R. Chuaqui
Amsterdam ; New York : North-Holland Pub. Co.. - New York : sale distributors for the U.S.A. and Canada, Elsevier/North-Holland , 1977. - (Studies in logic and the foundations of mathematics ; v. 89)
図書 <BB00155795>
Symbolic-numeric computation / Dongming Wang, Lihong Zhi, editors
alk. paper,alk. paper. - Boston : Birkhauser Verlag AG Basel Boston Berlin , c2007
電子書籍 <OB01028248>
SNC'07 : proceedings of the 2007 International Workshop on Symbolic-Numeric Computation, London (Ontario, Canada), July 25-27, 2007 / edited by Jan Verschelde &Stephen M. Watt
pbk.. - New York : ACM , c2007
電子書籍 <OB00751584>
STOC '13 : proceedings of the 2013 ACM Symposium on Theory of Computing : June 1 - 4, 2013, Palo Alto, California, USA / sponsored by ACM SIGACT
print. - New York : ACM , 2013
電子書籍 <OB00751680>
STOC '08 : proceedings of the 2008 ACM International Symposium on Theory of Computing : Victoria, British Columbia, Canada, May 17-20, 2008 / sponsored by ACM SIGACT
print. - New York : ACM , 2008
電子書籍 <OB00751679>
SNC 2014 : proceedings of the 2014 Symposium on Symbolic-Numeric Computation : July 28-31, 2014, Shanghai, China / Stephen M. Watt, Jan Verschelde, Lihong Zhi, (editors) ; in-cooperation ACM SIGSAM
print. - New York : ACM , 2014
電子書籍 <OB00751583>
STOC'12 : proceedings of the 2012 ACM Symposium on Theory of Computing : May 19-22, 2012, New York, New York, USA / sponsored by ACM SIGACT
print. - New York : ACM , 2012
電子書籍 <OB00751688>
Representations of discrete functions / edited by Tsutomu Sasao, Masahiro Fujita
Boston : Kluwer Academic , c1996
図書 <BB00316071>