著者典拠情報

著者標目形：
Apt, Krzysztof R., 1949-
属性：
Personal
日付：
1949-
から見よ参照形：
Apt, K. R.
Apt, K. R. (Krzysztof R.), 1949-
注記：
Foundations of computer ... 1976 (a.e.) t.p., v. 1 (K.R. Apt)
NATO Advanced Study Institute on Logics and Models for Verification and Specification of Concurrent Systems (1984 : La Colle-sur-Loupé, France). Logics and models for verification ... c1985: CIP t.p. (Krzysztof R. Apt; L.I.T.P., Université Paris)
著者典拠ID：
DA01234517


1.

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

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

図書
図書
3. 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
所蔵情報: 図書館