Erscheinungsjahr
Format
Lizenz
TIB-Lesesaalbestand
LUH-Institutsbestand
Synonyme wurden verwendet für: Logische Programmierung
Suche ohne Synonyme: keywords:("Logische Programmierung")
Verwendete Synonyme:
- logic programming
- logikprogrammierung
- logisches programmieren
- pradikative programmierung
-
The Logic of AGM Learning from Partial Observations
TIBKAT | 2020|Schlagwörter: Logische Programmierung -
Persuasive Argumentation and Epistemic Attitudes
TIBKAT | 2020|Schlagwörter: Logische Programmierung -
Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq
TIBKAT | 2020|Schlagwörter: Logische Programmierung -
On the Construction of Multi-valued Concurrent Dynamic Logics
TIBKAT | 2020|Schlagwörter: Logische Programmierung -
A Logical Analysis of the Interplay Between Social Influence and Friendship Selection
TIBKAT | 2020|Schlagwörter: Logische Programmierung -
Iterative Division in the Distributive Full Non-associative Lambek Calculus
TIBKAT | 2020|Schlagwörter: Logische Programmierung -
Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified
TIBKAT | 2018|Schlagwörter: Logische Programmierung -
Bringing Belief Base Change into Dynamic Epistemic Logic
TIBKAT | 2020|Schlagwörter: Logische Programmierung -
Resource Separation in Dynamic Logic of Propositional Assignments
TIBKAT | 2020|Schlagwörter: Logische Programmierung -
A Four-Valued Hybrid Logic with Non-dual Modal Operators
TIBKAT | 2020|Schlagwörter: Logische Programmierung -
A Dynamic Epistemic Logic Analysis of the Equality Negation Task
TIBKAT | 2020|Schlagwörter: Logische Programmierung -
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions
TIBKAT | 2020|Schlagwörter: Logische Programmierung -
Improving Candidate Quality of Probabilistic Logic Models
TIBKAT | 2018|Schlagwörter: Logische Programmierung -
Epistemic Logic Programs with World View Constraints
TIBKAT | 2018|Schlagwörter: Logische Programmierung -
Application of Logic-Based Methods to Machine Component Design
TIBKAT | 2018|Schlagwörter: Logische Programmierung
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.