Logic of database updates

SPRUIT, Paulus Andrianus, Prof.Dr. E. Boeker

1994 | Disertasi | S3 Ilmu Pasti dan Informatika--Vrije Universiteit

Kata Kunci : Pangkalan Data,Logika dan Pangkalan Data,Kalkulus,Ilmu Pasti dan Informatika