Laporkan Masalah

Confluence for abstract and higher-order rewriting

OOSTROM, Vincent van, Prof.dr. Jan Willem Klop

1994 | Disertasi | S3 Matematika--Vrije Universiteit

Kata Kunci : Matematika,Komputer,Metode Kalkulus


    Tidak tersedia file untuk ditampilkan ke publik.