共 50 条
- [21] PROLOG - A LANGUAGE FOR PROGRAMMING MEDICAL LOGICM D COMPUTING, 1988, 5 (02): : 36 - &SHIFMAN, MJELOVSEK, FR
- [22] A language for programming logic with finite setsJournal of Logic Programming, 1996, 28 (01):Dovier, AgostinoOmodeo, Eugenio G.Pontelli, EnricoRossi, Gianfranco
- [23] SEMANTICS OF PREDICATE LOGIC AS A PROGRAMMING LANGUAGEJOURNAL OF THE ACM, 1976, 23 (04) : 733 - 742VANEMDEN, MHKOWALSKI, RA
- [24] LMNtal as a hierarchical logic programming languageTHEORETICAL COMPUTER SCIENCE, 2009, 410 (46) : 4784 - 4800Ueda, Kazunori
- [25] A framed temporal logic programming languageJOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004, 19 (03) : 341 - 351Duan, ZHKoutny, M
- [26] Programming fuzzy logic in assembly languageNORTHCON/96 - IEEE TECHNICAL APPLICATIONS CONFERENCE, CONFERENCE RECORD, 1996, : 456 - 458Sibigtroth, JM
- [27] A framed temporal logic programming languageJournal of Computer Science and Technology, 2004, 19 : 341 - 351Zhen-Hua DuanMaciej Koutny
- [28] Traditional Logic, Modern Logic and Natural LanguageJournal of Philosophical Logic, 2009, 38 : 589 - 606Wilfrid Hodges
- [29] Traditional Logic, Modern Logic and Natural LanguageJOURNAL OF PHILOSOPHICAL LOGIC, 2009, 38 (06) : 589 - 606Hodges, Wilfrid
- [30] Negation in logic and in natural languageLINGUISTICS AND PHILOSOPHY, 2002, 25 (5-6) : 585 - 600Hintikka, J