close
1.

図書
図書
1. The Logic programming paradigm : a 25-year perspective (: hardcover : alk. pap)
K.R. Apt ... [et al.] (Eds.)
出版情報: Berlin ; New York : Springer, c1999
シリーズ名: Artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Verification of sequential and concurrent programs. 2nd ed
Krzysztof R. Apt, Ernst-Rüdiger Olderog
出版情報: New York : Springer, c1997
シリーズ名: Graduate texts in computer science
所蔵情報: loading…
3.

図書
図書
3. Meta-logics and logic programming
edited by Krzysztof R. Apt and Franco Turini
出版情報: Cambridge, Mass. : MIT Press, c1995
シリーズ名: Logic programming
所蔵情報: loading…
4.

図書
図書
4. Logic programming : proceedings of the joint International Conference and Symposium on Logic Programming
edited by Krzysztof Apt
出版情報: Cambridge, Mass. : MIT Press, c1992
シリーズ名: Logic programming
所蔵情報: loading…
5.

図書
図書
5. Formal description of programming concepts (gw ; us)
Erich J. Neuhold, Manfred Paul (eds.) ; with contributions by K.R. Apt ... [et al.]
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: IFIP state-of-the-art reports
所蔵情報: loading…
6.

図書
図書
6. Logics and models of concurrent systems (: Germany ; : U.S.)
edited by Krzysztof R. Apt
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 13
所蔵情報: loading…