Frank Flederer und Ludwig Ostermayer - Info zur Person

(1 - 10 von 11

)

[ ] Source Code Verification for Embedded Systems using...

arxiv.org

Authors:Frank Flederer (University of Wuerzburg), Ludwig Ostermayer (University of Wuerzburg), Dietmar Seipel (University of Wuerzburg), ...

CAPJA- A Connector Architecture for PROLOG and J

ceur-ws.org

CAPJA- A Connector Architecture for PROLOG and JAVA Ludwig Ostermayer, Frank Flederer, Dietmar Seipel University of Würzburg, Department of Computer Science Am Hubland, D – Würzburg, Germany &# Abstract. Modern software often relies on the combination of several software

WLP th Workshop on (Constraint) Logic Programming ...

ceur-ws.org

Ludwig Ostermayer, Frank Flederer and Dietmar Seipel Declarative Evaluation of Ontologies with Rules Dietmar Seipel, Joachim Baumeister and Klaus Pr ator ... (Constraint) Logic Programming. The workshop was held on September , in Wittenberg, at the Leucorea Conference Center of Halle-Wittenberg University.

dblp: Ludwig Ostermayer

dblp.org

List of computer science publications by Ludwig Ostermayer

kese:kese [aiWiki]

ai.ia.agh.edu.pl

Ludwig Ostermayer, Frank Flederer and Dietmar Seipel. CAPJA - A Connector Architecture for Prolog and Java. Mateusz Ślażyński, Szymon ...

Alle Infos zum Namen "Frank Flederer"

EPTCS 234: (Constraint) Logic Programming / Functional and...

cgi.cse.unsw.edu.au

Source Code Verification for Embedded Systems using Prolog Frank Flederer, Ludwig Ostermayer, Dietmar Seipel and Sergio Montenegro, 88.

WLP Program

www.imn.htwk-leipzig.de

Constraint Logic Programming over Infinite Domains with an Application to Proof. Frank Flederer, Ludwig Ostermayer, Dietmar Seipel and Sergio Montenegro.

new publications of Sergio Montenegro

www.montenegros.de

Frank Flederer, Ludwig Ostermayer, Dietmar Seipel, Sergio Montenegro 30th Workshop on (Constraint) Logic Programming (WLP 2016) Decentralized control for scalable quadcopter formations Qasim Ali and Sergio Montenegro International Journal of Aerospace Engineering

PPI- A Portable PROLOG Interface for JAVA - [PDF Document]

vdocuments.site

PPI- A Portable PROLOG Interface for JAVA Ludwig Ostermayer, Frank Flederer, Dietmar Seipel University of Würzburg, Department of Computer Science Am Hubland,...

kese:kese [GEIST Research Group]

geist.re

Ludwig Ostermayer, Frank Flederer and Dietmar Seipel. CAPJA - A Connector Architecture for Prolog and Java. Mateusz Ślażyński, Szymon ...

Verwandte Suchanfragen zu Frank Flederer

Sergio Montenegro
Daniel Scheller
Anne-Kathrin Flederer

Walter Weißenseel

Personen
Vorname "Frank" (79403)
Name "Flederer" (13)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Frank Flederer und Ludwig Ostermayer Person-Info