Amanote Research
Register
Sign In
Logic Programming
doi 10.7551/mitpress/4301.001.0001
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1995
Authors
Unknown
Publisher
The MIT Press
Related search
Service-Oriented Logic Programming
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Records for Logic Programming
The Journal of Logic Programming
Integrating Answer Set Programming and Constraint Logic Programming
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Bialgebraic Semantics for Logic Programming
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming
Machine Learning
Artificial Intelligence
Software
Logic Programming as Hypergraph Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Global Variables in Logic Programming
Logic Programming in a Fragment of Intuitionistic Linear Logic
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Calculi for Disjunctive Logic Programming
