close
1.

図書
図書
1. Automatic verification of programs with complex data structures
Norihisa Suzuki
出版情報: New York : Garland Pub., 1980
シリーズ名: Outstanding dissertations in the computer sciences
所蔵情報: loading…
2.

図書
図書
2. Formal specification of programming languages : a panoramic primer
Frank G. Pagan
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1981
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
3.

図書
図書
3. An Attribute grammar for the semantic analysis of ADA (: gw ; : us)
J. Uhl ... [et al.]
出版情報: Berlin ; New York : Springer-Verlag, 1982
シリーズ名: Lecture notes in computer science ; 139
所蔵情報: loading…
4.

図書
図書
4. Towards a formal description of Ada (: gw ; : us)
edited by D. Bjørner and O.N. Oest
出版情報: Berlin : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 98
所蔵情報: loading…
5.

図書
図書
5. Full abstraction and semantic equivalence
Ketan Mulmuley
出版情報: Cambridge, Mass. : MIT Press, c1987
シリーズ名: ACM doctoral dissertation awards ; 1986
所蔵情報: loading…
6.

図書
図書
6. Foundations of logic programming. 2nd, extended ed (: us ; : gw)
J.W. Lloyd
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Symbolic computation ; . Artificial intelligence
所蔵情報: loading…
7.

図書
図書
7. Natural language understanding
James Allen
出版情報: Menlo Park, Calif. ; Tokyo : Benjamin/Cummings Pub. Co., c1987
シリーズ名: Benjamin/Cummings series in computer science
所蔵情報: loading…
8.

図書
図書
8. MetaSoft primer : towards a metalanguage for applied denotational semantics (: gw ; : us)
Andrzej Blikle
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 288
所蔵情報: loading…
9.

図書
図書
9. Foundations of logic programming (U.S. ; Berlin)
J.W. Lloyd
出版情報: Berlin ; New York : Springer-Verlag, 1984
シリーズ名: Symbolic computation: Artificial intelligence
所蔵情報: loading…
10.

図書
図書
10. A practical introduction to denotational semantics (:pbk)
Lloyd Allison
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986
シリーズ名: Cambridge computer science texts ; 23
所蔵情報: loading…