1.
図書 |
Antoni Kreczmar, Andrzej Salwicki, Marek Warpechowski ; with the collaboration of Bolesław Ciesielski ... [et al.] ; foreword by Hans Langmaack
|
|||||||
2.
図書 |
2. Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 (: gw ; : us)
edited by A. Salwicki
|