城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(標準分類: QA267-268.5)
該当件数:28件
Constraints in Computational Logics : First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings / edited by Jean-Pierre Jouannaud
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 845)
電子ブック
Logic, Language and Computation : Festschrift in Honor of Satoru Takasu / edited by Neil Jones, Masami Hagiya, Masahiko Sato
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 792)
Isabelle : A Generic Theorem Prover / by Lawrence C. Paulson
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 828)
Term Rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course / edited by Hubert Comon, Jean-Pierre Jouannaud
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 909)
Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings / edited by Nachum Dershowitz, Naomi Lindenstrauss
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 968)
Types for Proofs and Programs : International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers / edited by Stefano Berardi, Mario Coppo
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1158)
Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings / edited by Joakim von Wright, Jim Grundy, John Harrison
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1125)
6th Conference on Automated Deduction : New York, USA, June 7-9, 1982 / edited by D. W. Loveland
1st ed. 1982.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1982). - (Lecture Notes in Computer Science. ISSN:16113349 ; 138)
Automata Networks : LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings / edited by C. Choffrut
1st ed. 1988.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1988). - (Lecture Notes in Computer Science. ISSN:16113349 ; 316)
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Volume 1: Invited Lectures / edited by Bruno Buchberger
1st ed. 1985.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985). - (Lecture Notes in Computer Science. ISSN:16113349 ; 203)
Using Sophisticated Models in Resolution Theorem Proving / by David M. Sandford
1st ed. 1980.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1980). - (Lecture Notes in Computer Science. ISSN:16113349 ; 90)
Automata on Infinite Words : Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984 / edited by M. Nivat, D. Perrin
1st ed. 1985.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985). - (Lecture Notes in Computer Science. ISSN:16113349 ; 192)
Conditional Term Rewriting Systems : 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings / edited by Stephane Kaplan, Jean-Pierre Jouannaud
1st ed. 1988.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1988). - (Lecture Notes in Computer Science. ISSN:16113349 ; 308)
Rewriting Techniques and Applications : Bordeaux, France, May 25-27, 1987. Proceedings / edited by Pierre Lescanne
1st ed. 1987.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1987). - (Lecture Notes in Computer Science. ISSN:16113349 ; 256)
Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings / edited by G. Kahn, D.B. MacQueen, G. Plotkin
1st ed. 1984.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1984). - (Lecture Notes in Computer Science. ISSN:16113349 ; 173)
Mathematical Foundations of Computer Science 1980 : 9th Symposium Held in Rydzyna, Poland, September 1-5, 1980. Proceedings / edited by P. Dembinski
1st ed. 1980.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1980). - (Lecture Notes in Computer Science. ISSN:16113349 ; 88)
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings : Volume 2: Research Contributions / edited by Bob F. Caviness
1st ed. 1985.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985). - (Lecture Notes in Computer Science. ISSN:16113349 ; 204)
Rewriting Techniques and Applications : Dijon, France, May 20-22, 1985 / edited by Jean-Pierre Jouannaud
1st ed. 1985.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1985). - (Lecture Notes in Computer Science. ISSN:16113349 ; 202)
Programming Languages and their Definition : Selected Papers / by H. Bekic ; edited by C. B. Jones
1st ed. 1984.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1984). - (Lecture Notes in Computer Science. ISSN:16113349 ; 177)
Grammar and L Forms : An Introduction / by D. Wood
1st ed. 1980.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1980). - (Lecture Notes in Computer Science. ISSN:16113349 ; 91)