1
0
0
News
Netzwerk-Profile
LinkedIn: Dominik Luecke - Software Developer - MAHA Maschinenbau ...
größten beruflichen Netzwerk. 4 Jobs sind im Profil von Dominik Luecke
aufgelistet.
LinkedIn: Dominik Luecke | LinkedIn
Sehen Sie sich das berufliche Profil von Dominik Luecke (Deutschland) auf LinkedIn an. LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- und ...
LinkedIn: Dominik Luecke - Software Developer - MAHA LinkedIn
上领英,在全球领先职业社交平台查看Dominik Luecke的职业档案。Dominik的职业档案列出了4 个职位。查看Dominik的完整档案,结识职场人脉和查看相似公司的 ...
Hets/Logic_Propositional.hs at master · spechub/Hets · GitHub
github.com
The Heterogeneous Tool Set. Contribute to spechub/Hets development by creating an account on GitHub.
Ausbildung
Praktische Informatik 3 Einführung in die Funktionale ...
www.informatik.uni-bremen.de
Tutoren: Dominik Luecke . Klaus Hartke . Marcus Ermler . Christian Maeder
Projekte
obo-discuss Mailing List for Open Biomedical Ontologies
sourceforge.net
Oliver Kutz, Dominik Luecke, Till Mossakowski and Immanuel Normann. Managing Change: An Ontology Version Control System. Timothy Redmond, Michael Smith, Nick
Bücher
Algebraic Methodology and Software Technology: 12th ...
books.google.com.hk
... Henrik Løvengreen Etienne Lozes Dorel Lucanu Dominik Luecke Andreas Lundblad Christoph Lüth Christian Maeder M. Majster-Cederbaum Florian Mangold Claude ...
Algebraic Methodology and Software Technology: 12th International...
books.google.be
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in...
Artificial Intelligence: Methodology, Systems, and ...
books.google.com.hk
... Duc Achim Lewandowski Corrado Loglisci Ilaria Lombardi Dominik Luecke Thomas Lukasiewicz Ines Lynce Marie-Laure Mugnier Annapaola Marconi Corrado Mencar ...
Dokumente zum Namen
Propositional.ProveMinisat
hets.eu
... (c) Dominik Luecke Uni Bremen License, GPLv2 or higher, see LICENSE.txt. Maintainer, -bremen.de. Stability, experimental.
RelationalScheme.Keywords
hets.eu
Copyright, Dominik Luecke Uni Bremen License, GPLv2 or higher, see LICENSE.txt or LIZENZ.txt. Maintainer, -bremen.de. Stability ...
Wissenschaftliche Veröffentlichungen
Propositional.Prop2CASLHelpers
www.informatik.uni-bremen.de
... (c) Dominik Luecke and Uni Bremen License, GPLv2 or higher, see LICENSE.txt. Maintainer, -bremen.de. Stability, experimental.
Propositional.Sublogic
www.informatik.uni-bremen.de
... (c) Dominik Luecke, Uni Bremen License, GPLv2 or higher, see LICENSE.txt. Maintainer, -bremen.de. Stability, experimental.
RelationalScheme.Sign
www.informatik.uni-bremen.de
Copyright, Dominik Luecke, Uni Bremen License, GPLv2 or higher, see LICENSE.txt or LIZENZ.txt. Maintainer, -bremen.de. Stability ...
Sonstiges
Questions for Dominik Luecke : Questions : Dominik Luecke
answers.launchpad.net
Dominik Luecke. Overview · Code · Bugs ... Solved Expired Invalid. No questions commented on by Dominik Luecke found with the requested statuses.
Dominik Luecke
marc.info
Viewing messages posted by 'Dominik Luecke <luecke () informatik ! uni-bremen ! de>' (4 msg) [2] [Haskell-cafe] Haskell Paralellism haskell-c 2.
Pedzich, Dominik - Luecke, Norbert , Neukoelln , Berlin
old.chesstempo.com
1. e4 c5 2. Nf3 Nc6 3. Nc3 e6 4. d4 cxd4 5. Nxd4 a6 6. Be2 Qb6 7. Nb3 Nf6 8. Be3 Qc7 9. f4 d Bf3 Be O-O O-O 12. Qd2 b a4 b Ne2 Na5 15.
Accepted Papers — Spatial Cognition 2008
www.conference.spatial-cognition.de
Dominik Luecke, Till Mossakowski, and Diedrich Wolter: Qualitative reasoning about convex relations. Louis-Emmanuel Martinet, Jean-Baptiste Passot, Benjamin Fouque, Jean-Arcady Meyer, and Angelo Arleo: Map-based spatial navigation: A cortical column model for …
18(was II): Plan Diversity by Integrating Heuristic Planning and...
educationdocbox.com
... Zhihui Hao, Junae Kim 54: A Modular Consistency Proof for DOLCE Oliver Kutz, Dominik Luecke, Till Mossakowski 60: Spectrum-Based Sequential Diagnosis ...
ACCEPTED PAPERS
www.aimsaconference.org
39: Oliver Kutz, Dominik Luecke and Till Mossakowski. Designing and Refining Heterogeneous Ontologies. 47: David Lee, Ines Arana, Hatem Ahriz and Kit-Ying ...
AAAI-11: Accepted Papers
www.aaai.org
AAAI advances the understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines.
OWLED OWL: Experiences and Directions - CEUR-WS
ceur-ws.org
Oliver Kutz, Dominik Luecke, Till Mossakowski and Immanuel Normann; Managing Change: An Ontology Version Control System Timothy Redmond, Michael Smith, ... › Vol-432
Invitation to attend OWL: Experiences and Directions (OWLED)
lists.w3.org
Oliver Kutz, Dominik Luecke, Till Mossakowski and Immanuel Normann. Managing Change: An Ontology Version Control System. Timothy ...
The reference system used by the TPCC calculus
www.researchgate.net
Dominik Luecke. After the emergence of Allen s Interval Algebra Qualitative Spatial Reasoning has evolved into a fruitful field of research in artificial ... › figure
OWLED Program
webont.org
The OWL in the CASL - Designing Ontologies Across Logics. Oliver Kutz, Dominik Luecke, Till Mossakowski and Immanuel Normann. Owlgres: A Scalable OWL ...
Morphism.hs | searchcode
searchcode.com
Morphism.hs in thesis located at /02-development/Hets/Propositional
[Haskell-cafe] Haskell Paralellism
mail.haskell.org
Dominik Luecke luecke at informatik.uni-bremen.de. Thu Oct :43:16 EDT Previous message: [Haskell-cafe] Haskell Paralellism; Next message: ...
Verwandte Suchanfragen zu Dominik Luecke
Christian Maeder Michael Smith Oliver Kutz | Alexander Nast |
Personen Vorname "Dominik" (22148) Name "Luecke" (196) |
sortiert nach Relevanz / Datum