Yazar
g plotkin
8 cilt bulundu.
Cilt sonuçları
Logical frameworks
G. Plotkin · Cambridge University Press
403 sayfa · 1991
Logic / Frames (Information theory) / Automatic theorem proving / Symbolic and mathematical Logic / Logic programming
Logical environments
G. Plotkin · Cambridge University Press
338 sayfa · 1993
Congresses / Symbolic and mathematical Logic / Artificial intelligence / Automatic theorem proving / Logic, symbolic and mathematical
Semantics of data types
G. Kahn, G. Plotkin · Springer-Verlag
Sayfa sayısı yok · 1984
Congresses / Semantics / Data structures (Computer science) / Programming languages (Electronic computers)
Assessment of Tools for Modeling Aircraft Noise in the National Parks
Gregg G. Fleming, Kenneth J. Plotkin, Christopher J. Roof, Bruce Ikelheimer, David Senzig · CreateSpace Independent Publishing Platform
160 sayfa · 2005
Kategori yok