Yazar
j w klop
2 cilt bulundu.
Cilt sonuçları
Term rewriting systems
J. W. Klop · Cambridge University Press
884 sayfa · 2003
Rewriting systems (Computer science) / Computer software
Combinatory reduction systems
J. W. Klop · Mathematisch centrum
317 sayfa · 1980
Combinatory logic / Lambda calculus / Recursive programming / Combinatorial topology / Calculus