Sortiert nach
Correct Reasoning, p.178-194
Link zum Volltext
Correct Reasoning, p.543-559
Link zum Volltext
Lecture notes in computer science, 2004, p.210-220
2004
Link zum Volltext
Probabilistic Inductive Logic Programming, p.222-243
Link zum Volltext
Program Development in Computational Logic, p.291-339
Link zum Volltext
Logic-Based Program Synthesis and Transformation, p.87-102
Link zum Volltext
Progamming Language Implementation and Logic Programming, 2005, p.184-200
2005
Link zum Volltext
NASA Formal Methods, 2017, Vol.10227, p.265-281
2017
Link zum Volltext
Program Development in Computational Logic, p.340-375
Link zum Volltext
The Semantic Web: Research and Applications, p.384-398
Link zum Volltext
Third International Conference on Logic Programming, 2005, p.410-424
2005
Link zum Volltext
Logic Program Synthesis and Transformation — Meta-Programming in Logic, 2005, p.104-121
2005
Link zum Volltext
Logic Programming, 2005, p.486-514
2005
Link zum Volltext
Program Development in Computational Logic, p.453-498
Link zum Volltext
Lecture notes in computer science, 2005, p.737-749
2005
Link zum Volltext
Computational Logic: Logic Programming and Beyond, p.413-451
Link zum Volltext
Logic-Based Program Synthesis and Transformation, p.40-54
Link zum Volltext
Automated Deduction — Cade-13, 2005, p.275-287
2005
Link zum Volltext
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, p.473-489
Link zum Volltext
Applications of Declarative Programming and Knowledge Management, p.85-101
Link zum Volltext
Mathematical Foundations of Computer Science 1993, 2005, p.1-19
2005
Link zum Volltext
Rewriting Techniques and Applications, p.32-47
Link zum Volltext
Program Development in Computational Logic, p.90-114
Link zum Volltext
Static Analysis, 2005, p.154-171
2005
Link zum Volltext
Programming Languages: Implementations, Logics, and Programs, 2005, p.152-166
2005
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Erscheinungsjahr
n.n
n.n
Thema
- Predicate Symbol
- Logic Programming
- Technology
- Computer Science
- Science & Technology
- Computer Science, Theory & Methods
- Function Symbol
- Applied Sciences
- Computer Science, Artificial Intelligence
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Computer Science, Software Engineering
- Operational Semantic
- Abstract Interpretation
- Relation Symbol
- Horn Clause
- Theoretical Computing
- Stable Model
- Inductive Logic Programming