東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(標準分類: 005.1/01/5113)
該当件数:15件
Time and logic : a computational approach / edited by Leonard Bolc & Andrzej Szałas
London : UCL Press , 1995
図書
Logic for applications / Anil Nerode and Richard A. Shore
2nd ed. - New York : Springer , c1997. - (Graduate texts in computer science)
FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 873)
Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.] (eds.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 816)
Theoretical aspects of computer software = proceedings : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 / Masami Hagiya, John C. Mitchell, eds
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 789)
Logic, language, and computation : festschrift in honor of Satoru Takasu / Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.)
Berlin : Springer-Verlag , c1994. - Tokyo. - (Lecture notes in computer science ; 792)
Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow, (eds.)
Berlin : Springer-Verlag , c1994. - Tokyo. - (Lecture notes in computer science ; 806)
Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 ; proceedings / Martín Abadi, Takayasu Ito (eds.)
Berlin : Springer , c1997. - (Lecture notes in computer science ; 1281)
FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings / John Fitzgerald, Cliff B. Jones, Peter Lucas, (eds.)
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1313)
ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings / Jonathan P. Bowen, Michael G. Hinchey (eds.)
Berlin : Springer , c1995. - New York. - (Lecture notes in computer science ; 967)
Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers / Gilles Dowek ... [et al.], (eds.)
Berlin : Springer , c1996. - Tokyo. - (Lecture notes in computer science ; 1074)
FME '96 : industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 / Marie-Claude Gaudel, James Woodcock, (eds.)
Berlin : Springer-Verlag , c1996. - New York. - (Lecture notes in computer science ; 1051)
ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings / Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1212)
Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers / Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
Berlin : Springer-Verlag , c1995. - (Lecture notes in computer science ; 996)
Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.)
Berlin : Springer-Verlag , c1993. - New York. - (Lecture notes in computer science ; 669)