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
Statistical Heuristic Search
On the Complexity of Induction of Structural Descriptions
Knowledge-Based Decision Support System
On the Development of Applications of Logic in Programming
On Conceptual Model Specification and Verification
Stack Method in Program Semantics
An Interactive System SDI on Microcomputer
Easy Test Generation PLAs
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