上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: QA267.3)
該当件数:21件
Grammatical inference : algorithms and applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings / Arlindo L. Oliveira (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1891 . Lecture notes in artificial intelligence)
図書 <1001195278>
Formal languages / Arto Salomaa
New York : Academic Press , 1973. - (ACM monograph series)
図書 <1001327945>
A second course in formal languages and automata theory / Jeffrey Shallit
: hbk. - Cambridge ; New York : Cambridge University Press , 2009
図書 <1001990503>
Formal language theory : perspectives and open problems / edited by Ronald V. Book
New York : Academic Press , c1980
図書 <1001086849>
Formale Logik und Grammatik / Hans Jürgen Heringer
Tübingen : M. Niemeyer , 1972. - (Germanistische Arbeitshefte ; 6)
図書 <1000434370>
Grammar and L forms : an introduction / Derick Wood
Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science. ; 91)
図書 <1000586764>
Algebraic semantics / Irène Guessarian
Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science. ; 99)
図書 <1000586773>
Context-free grammars : covers, normal forms, and parsing / Anton Nijholt
Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science. ; 93)
図書 <1000586784>
Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978 / edited by Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg
Berlin ; New York : Springer-Verlag , 1979. - (Lecture notes in computer science ; 73.)
図書 <1000586802>
Graph-grammars and their application to computer science : 3rd international workshop, Warrenton, Virginia, USA, December 2-6, 1986 : [proceedings] / H. Ehrig ... [et al.] (eds.)
Berlin ; New York : Springer-Verlag , c1987. - (Lecture notes in computer science ; 291)
図書 <1000587442>
Marcus contextual grammars / by Gheorghe Păun
Dordrecht ; Boston : Kluwer Academic Publishers , 1997. - (Studies in linguistics and philosophy ; v. 67)
図書 <1000556402>
Introduction to formal languages / György E. Révész
New York : McGraw-Hill , c1983. - (McGraw-Hill computer science series.)
図書 <1000626198>
A first course in formal language theory / V.J. Rayward-Smith
Oxford ; Boston ; St. Louis, Mo. : Blackwell Scientific Publications : Blackwell Mosby Book Distributors , 1983. - (Computer science texts.)
図書 <1000626641>
Grammatical inference : learning syntax from sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25-27, 1996 : proceedings / Laurent Miclet, Colin de la Higuera (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1147 . Lecture notes in artificial intelligence)
図書 <1000543677>
Grammatical inference and applications : second International Colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings / Rafael C. Carrasco, Jose Oncina, (eds.)
: gw. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 862 . Lecture notes in artificial intelligence)
図書 <1000505253>
Word, language, grammar / G. Rozenberg, A. Salomaa, (eds.)
Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 1)
図書 <1001090542>
Linear modeling : background and application / G. Rozenberg, A. Salomaa, (eds.)
Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 2)
図書 <1001090564>
Beyond words / G. Rozenberg, A. Salomaa, (eds.)
Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 3)
図書 <1001090570>
Graph grammars and their application to computer science : 4th International Workshop, Bremen, Germany, March 5-9, 1990 : proceedings / H. Ehrig, H.-J. Kreowski, G. Rozenberg, eds
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 532)
図書 <1000432462>
Grammatical inference : 4th International Colloquium, ICGI-98 Ames, Iowa, USA, July 12-14, 1998 : proceedings / Vasant Honavar, Giora Slutzki (eds.)
Berlin ; London : Springer , c1998. - (Lecture notes in computer science ; 1433 . Lecture notes in artificial intelligence)
図書 <1000560432>