Yazar
Krzysztof Apt
20 cilt bulundu.
Cilt sonuçları
Edsger Wybe Dijkstra
Krzysztof R. Apt, · Morgan & Claypool
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Ernst-Rüdiger Olderog · Springer Science & Business Media
452 sayfa · 2013-03-09
Computers
Contributions to the Theory of Logic Programming
Krzysztof R. Apt, University of Waterloo. Faculty of Mathematics, M. H. Van Emden · Faculty of Mathematics, University of Waterloo
43 sayfa · 1980
Programming languages (Electronic computers)
A System for Distributed Mechanisms
Krzysztof R. Apt, Farhad Arbab, Huiye Ma, Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands) · Yayınevi bilinmiyor
33 sayfa · 2007
Kategori yok
The STO-problem is NP-hardp
Krzysztof R. Apt, Peter van Emde Boas, Angelo Welling · Yayınevi bilinmiyor
7 sayfa · 1994
Logic programming
From Chaotic Iteration to Constraint Propagation
Krzysztof R. Apt, Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands) · Yayınevi bilinmiyor
17 sayfa · 1997
Kategori yok