Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David Carral
Efficient Model Construction for Horn Logic With VLog
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Ontology Design Pattern for Cartographic Map Scaling
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Finite Model Construction for Coalgebraic Modal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A General Similarity Framework for Horn Clause Logic
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Basic Forward Chaining Construction for Logic Programs
The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Construction of the Medial Axis for a CAD Model Using Parallel Computing
Engineering with Computers
Software
Modeling
Engineering
Computer Science Applications
Simulation
Efficient Fuzzy Logic Controller for Magnetic Levitation Systems
Nigerian Journal of Technological Development
Vlog : A Tool for Students’ Speaking Practice Enhancement
Research and Innovation in Language Learning
Generating Efficient, Terminating Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Construction of the Mathematical Model of a Diesel Control Based on Fuzzy Logic
Scientific and Technical Volga region Bulletin
