1.

図書
図書
1. Semantic techniques in quantum computation
edited by Simon Gay, Ian Mackie
出版情報: New York : Cambridge University Press, 2010
所蔵情報: loading…
2.

図書
図書
2. Computational semantics with functional programming (: hardback ; : pbk)
by Jan van Eijck and Christina Unger
出版情報: Cambridge ; Tokyo : Cambridge University Press, 2010
所蔵情報: loading…
3.

図書
図書
3. Programming language syntax and semantics (: pbk)
David A. Watt ; with a contribution by Muffy Thomas
出版情報: New York ; Tokyo : Prentice Hall, 1991
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
4.

図書
図書
4. Semantic structures : advances in natural language processing
edited by David L. Waltz
出版情報: Hillsdale, NJ : L. Erlbaum Associates, 1989
所蔵情報: loading…
5.

図書
図書
5. Abstract interpretation of declarative languages (: Horwood ; : Halsted)
editors, Samson Abramsky and Chris Hankin
出版情報: Chichester, West Sussex, England : E. Horwood , New York : Halsted Press, 1987
シリーズ名: Ellis Horwood books in computing science ; . Series in computers and their applications
所蔵情報: loading…
6.

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

図書
図書
7. Axiomatising the logic of computer programming (: gw ; : us)
Robert Goldblatt
出版情報: Berlin ; New York : Springer-Verlag, 1982
シリーズ名: Lecture notes in computer science ; 130
所蔵情報: loading…
8.

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

図書
図書
9. 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…
10.

図書
図書
10. Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18, 1980 (: gw ; : us)
edited by Neil D. Jones
出版情報: Berlin : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 94
所蔵情報: loading…