o. Univ. Prof. Dr. Richard Hartl Fakultät für Wirtschaftswissenschaften VORTRAG Optimization of empty container repositioning

Source URL: prolog.univie.ac.at

Prolog Der vorliegende Text versucht zunächst eine Rückschau auf die Ereignisse und Diskussionen in Zusammenhang mit der Kontroverse um den Karlsruher Physikkurs (KPK). Wenngleich der Karlsruher Physikkurs seit vielen

Source URL: www.physik.uni-regensburg.de

o. Univ. Prof. Dr. Richard Hartl Fakultät für Wirtschaftswissenschaften VORTRAG The Deterministic Impulse Control Maximum Principle in

Source URL: prolog.univie.ac.at

A Virtual Machine for Functional Logic Computations⋆ Sergio Antoy1 , Michael Hanus2 , Jimeng Liu1 , and Andrew Tolmach1 1 2

Source URL: web.cecs.pdx.edu

• Software engineering
• Computer programming
• Computing
• Programming paradigms
• Computability theory
• Subroutines
• Programming idioms
• Models of computation
• Functional programming
• Curry
• Prolog
• Recursion

POSH - The Prolog OWL Shell Chris Mungall Abstract. Two of the most common ways of processing and manipulating OWL ontologies are through an ontology editing environment (e.g. Protege or TopBraid) or via a programmatic i

Source URL: webont.org

• Semantic Web
• Resource Description Framework
• Information science
• Knowledge engineering
• Knowledge representation
• Web Ontology Language
• Semantic reasoner
• Prolog
• Description logic
• Ontology
• Jena
• SPARQL

Forty hours of declarative programming Teaching Prolog at the Junior College Utrecht Jurri¨en Stutterheim Wouter Swierstra

Source URL: www.staff.science.uu.nl

Design and Implementation of the LogicBlox System Molham Aref Balder ten Cate Todd J. Green Emir Pasalic Todd L. Veldhuizen

Source URL: developer.logicblox.com

• Computing
• Software engineering
• Software
• Grammar
• SQL keywords
• Formal methods
• Datalog
• Prolog
• Predicate
• Relational model
• Join
• Extensible Storage Engine

Übersicht KFKs PM / SCM / TL Production Management / Supply Chain Management / Transportation Logistics Pflichtmodul

Source URL: prolog.univie.ac.at

o. Univ. Prof. Dr. Richard Hartl Fakultät für Wirtschaftswissenschaften Arbeitskreissitzung Metaheuristiken

Source URL: prolog.univie.ac.at

schoolboy with open book on white background. Isolated 3D image

Source URL: prolog.univie.ac.at