Kung, Chen-Ho
Kung, Chen-Ho, 1950-....
Gong, Zhenhe
Kung, D. C.
Chen-Ho Kung odborník v oblasti softwarového inženýrství, matematiky a počítačové vědy
Kung, David C. H.
Kung, D.C. (David Chenho)
VIAF ID: 3151055 ( Personal )
Permalink: http://viaf.org/viaf/3151055
Preferred Forms
- 100 0 _ ‡a Chen-Ho Kung ‡c odborník v oblasti softwarového inženýrství, matematiky a počítačové vědy
-
-
- 100 1 _ ‡a Kung, Chen-Ho
- 100 1 _ ‡a Kung, Chen-Ho
-
-
-
-
- 100 1 _ ‡a Kung, Chen-Ho (sparse)
-
-
- 100 1 _ ‡a Kung, Chen-Ho, ‡d 1950-....
- 100 1 _ ‡a Kung, D. C.
-
-
4xx's: Alternate Name Forms (14)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
An analysis of three conceptual models with time perspective | |
Artificial intelligence in databases and information systems (DS-3) : proceedings of the IFIP TC2/TC8/WG 2.6/WG 8.1 Working Conference on the Role of Artificial Intelligence in Databases and Information Systems, Guangzhou, PR China, 4-8 July, 1988 | |
High parallelism and an effective reasoning procedure | |
Information systems engineering : an introduction | |
Knowledge representation : a behavior approach | |
Kungs metode for konsistensbevis og modellkonstruksjon anvendt på kommunikasjonsprotokoller | |
Object-oriented software engineering | |
On consistency checking of information system specifications | |
On structural and behavioral modelling of reality | |
A temporal framework for information systems specification and verification |