-
Reactive Logic Programming by Reinforcement Learning
British Library Conference Proceedings | 1999| -
A Procedure for Mediation of Queries to Sources in Disparate Contexts
British Library Conference Proceedings | 1997| -
Isoinitial Models for Logic Programs: Some Preliminary Results
British Library Conference Proceedings | 1999| -
Concurrency in Prolog Using Threads and a Shared Database
British Library Conference Proceedings | 1999| -
Comparing Trailing and Copying for Constraint Programming
British Library Conference Proceedings | 1999| -
Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming
British Library Conference Proceedings | 1995| -
Modeling OR-Parallel Execution of Prolog Using CHOCS
British Library Conference Proceedings | 1995| -
Towards a Practical Full Mode Inference System for CLP(H,N)
British Library Conference Proceedings | 1994| -
Ambivalent Logic as the Semantic Basis of Metalogic Programming: I
British Library Conference Proceedings | 1994| -
Finding Conflict Sets and Backtrack Points in CLP(R)
British Library Conference Proceedings | 1994| -
Redundancy, Variable Elimination and Linear Disequations
British Library Conference Proceedings | 1994| -
Towards Practical Interval Constraint Solving in Logic Programming
British Library Conference Proceedings | 1994|
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.