Hasil Pencarian

Ditemukan 1356 dokumen yang sesuai dengan query

Crowell, Thomas Lee, author

Index to modern English

New York: McGraw-Hill, 1987

R 428.24 CRO i

Buku Referensi Universitas Indonesia Library

Trask, R.L., author

A dictionary of grammatical terms in linguistics

London ; New York: Routledge, 1996

R 415.014 TRA d

Buku Referensi Universitas Indonesia Library

CHalker, Sylvia, author

The Oxford dictionary of English grammar

Oxford: Clarendon Press, 1994

R 428.003 CHA o

Buku Referensi Universitas Indonesia Library

Gussmann, Edmund, author

Phonology : analysis and theory

New York: Cambridge University Press, 2002

414 GUS p

Buku Teks Universitas Indonesia Library

Mechanizing logic in an aspect oriented attribute grammar system

This paper reports a preliminary work on using an aspect oriented attribute grammar system called UU-AG to develop computer aided verification tools. UU-AG provides an abstract and modular way to develop such a tool and later on incrementally upgrade them. This paper shows an example of a toy programming logic...

Jurnal Ilmu Komputer dan Teknologi Informasi, 3 (2) Oktober 2003: 77-83, 2003

JIKT-3-2-Okt2003-77

Artikel Jurnal Universitas Indonesia Library