We use cookies to improve your experience with our site.
All
Title
Author
Keyword
Abstract
DOI
Category
Address
Fund
Advanced Search
All
Title
Author
Keyword
Abstract
DOI
Category
Address
Fund
PACS
EEACC
Select articles
Functional Knowledge Representation Based on Problem Reduction
On the Complexities of Non-Horn Clause Logic Programming
The Distributed Logical Reasoning Language D_Tuili and Its Implementation on Microcomputer Network
DKLFRS:A Default Knowledge Logical Framework Representation System
Improvements on Certainty Factor Model and Its Application to Conflict Resolution in CDPS
Specification Language NUJSL Based on JSP and Its Supporting System
Probabilistic Models for Estimation of Random and Pseudo-Random Test Length
A Multiple-Valued Algebra for Modeling MOS VLSI Circuits at Switch-Level
A Theory for the Initial Allocating of Real Time Tasks in Distributed Systems
The Decomposition of Belief Function
A Generalization of Circumscription
Cover Articles
Top Cited Papers
Top Most Read
Download Templates
Datasets & Toolsets
×
Close
Export File
Citation
Format
RIS(for EndNote,Reference Manager,ProCite)
BibTex
Txt
Content
Citation Only
Citation and Abstract
×
Close
Citation