scientific article; zbMATH DE number 1348475
From MaRDI portal
Publication:4264729
zbMath0925.68417MaRDI QIDQ4264729
Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa
Publication date: 10 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
An alternative approach to the semantics of disjunctive logic programs and deductive databases ⋮ MGTP: A model generation theorem prover — Its advanced features and applications — ⋮ Minimal model generation with positive unit hyper-resolution tableaux ⋮ A tableau calculus for minimal model reasoning
Uses Software
This page was built for publication:
