上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Prolog )
該当件数:14件
Prolog : a logical approach / Tony Dodd
: pbk. - Oxford [England] ; Tokyo : Oxford University Press , 1990. - (Oxford science publications)
図書 <1001983541>
Prolog programming in depth / Michael A. Covington, Donald Nute, André Vellino
Upper Saddle River, NJ : Prentice Hall , c1997
図書 <1001249305>
The implementation of Prolog / Patrice Boizumault
Princeton, N.J. : Princeton University Press , c1993. - (Princeton series in computer science)
図書 <1000484655>
Programming in Prolog / W.F. Clocksin, C.S. Mellish
: gw : pbk,: us : pbk. - Berlin ; New York : Springer-Verlag , 1981
図書 <1001086990>
Negation and control in PROLOG / Lee Naish
Berlin ; New York : Springer-Verlag , c1986. - (Lecture notes in computer science. ; 238)
図書 <1000627167>
Natural language processing for Prolog programmers / Michael A. Covington
Englewood Cliffs, N.J. : Prentice Hall , c1994
図書 <1001249304>
An introduction to natural language processing through Prolog / Clive Matthews
: pbk. - London ; New York : Longman , 1998. - (Learning about language)
図書 <1001090317>
Why Prolog? : justifying logic programming for practical applications / Gregory L. Lazarev
Englewood Cliffs, N.J. : Prentice Hall , c1989
図書 <1000356894>
Concepts, design, and performance analysis of a parallel Prolog machine / Joachim Beer
: Germany,: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 404)
図書 <1000358054>
Argument und Algorithmus : ein lexikalisch orientierter Analyseansatz diskursiver Textelemente mit PROLOG / Stefan C. Kaufmann
Tübingen : Niemeyer , 1995. - (Reihe Germanistische Linguistik ; 153)
図書 <1000660507>
Prolog and natural-language analysis / Fernando C.N. Pereira and Stuart M. Shieber
Stanford, CA : Center for the Study of Language and Information , c1987. - (CSLI lecture notes. ; no. 10)
図書 <1000626843>
Executable modal and temporal logics : IJCAI '93 Workshop, Chambéry, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens (eds.)
Berlin ; New York : Springer-Verlag , c1995. - (Lecture notes in computer science ; 897 . Lecture notes in artificial intelligence)
図書 <1000514773>
An extended entity-relationship model : fundamentals and pragmatics / Martin Gogolla
: us,: gw. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 767)
図書 <1000491551>
Литературный сборник XVII века : Пролог / издание подготовили О.А. Державина ... [et al.] ; под редкцией А.С. Дёмина
Москва : "Наука" , 1978. - (Русская старопечатная литература)
図書 <1000367356>