大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Salwicki 的图书(共2本)

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980

0
索取号:TP31/E90195
作者:Symposium on Logics of Programs and their Applications (1980 : Poznâan、 Poland)、Salwicki、 Andrzej.、
出版社:Berlin ; New York : Springer-Verlag, 1983.

Algorithmic logic

0
索取号:TP312/E90112
作者:Mirkowska-Salwicka、 Grazyna.、Salwicki、 Andrzej.、
出版社:Dordrecht ; Boston : D. Reidel Pub. Co. ; Warszawa : PWN-Polish Scientific Publishers ; Norwell, MA, U.S.A. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, 1987.
最近添加的分类