Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Logic programming '89. Proceedings of the 8th conference, Tokyo, Japan, July 12-14, 1989 - MaRDI portal

Logic programming '89. Proceedings of the 8th conference, Tokyo, Japan, July 12-14, 1989 (Q1202144)

From MaRDI portal





scientific article; zbMATH DE number 108244
Language Label Description Also known as
English
Logic programming '89. Proceedings of the 8th conference, Tokyo, Japan, July 12-14, 1989
scientific article; zbMATH DE number 108244

    Statements

    Logic programming '89. Proceedings of the 8th conference, Tokyo, Japan, July 12-14, 1989 (English)
    0 references
    23 January 1993
    0 references
    The articles of this volume will be reviewed individually. Indexed articles: \textit{Yamaguchi, Jinsei}, The classification and boundary problem, 23-37 [Zbl 0792.68132] \textit{Dong, Fangqing; Nakagawa, Hirosi}, Semantics of non-monotonic reasoning based on perfect model, 38-53 [Zbl 0792.68092] \textit{Shi, Yihua; Arikawa, Setsuo}, Time-bounded reasoning in first order knowledge base systems, 54-72 [Zbl 0792.68185] \textit{Yamamoto, Akihiro}, Elementary formal system as a logic programming language, 73-86 [Zbl 0800.68296] \textit{Tatemura, Junichi; Tanaka, Hidehiko}, Debugger for a parallel logic programming language Fleng, 87-96 [Zbl 0792.68020]
    0 references
    Tokyo (Japan)
    0 references
    Logic programming '89
    0 references
    Conference
    0 references
    Proceedings
    0 references

    Identifiers