Horn, Germany

Results: 15



#Item
1The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral and Irina Dragoste and Markus Kr¨otzsch Center for Advancing Electronics Dresden (cfaed), TU Dresden, Germany   Abstr

The Combined Approach to Query Answering in Horn-ALCHOIQ David Carral and Irina Dragoste and Markus Kr¨otzsch Center for Advancing Electronics Dresden (cfaed), TU Dresden, Germany Abstr

Add to Reading List

Source URL: iccl.inf.tu-dresden.de

Language: English - Date: 2018-06-15 10:32:34
    2Efficient CTL Verification via Horn Constraints Solving Tewodros A. Beyene 1 fortiss GmbH, Munich, Germany  joint work with C. Popeea 2 and A. Rybalchenko 3

    Efficient CTL Verification via Horn Constraints Solving Tewodros A. Beyene 1 fortiss GmbH, Munich, Germany joint work with C. Popeea 2 and A. Rybalchenko 3

    Add to Reading List

    Source URL: hcvs2016.it.uu.se

    - Date: 2016-04-11 10:20:41
      3Ad-Hoc Query on asylum proceeding and returns to Somalia Requested by FI EMN NCP on 31st March 2015 Compilation produced on 9th of June Responses from Austria, Belgium, Czech Republic, Estonia, Finland, France, Germany,

      Ad-Hoc Query on asylum proceeding and returns to Somalia Requested by FI EMN NCP on 31st March 2015 Compilation produced on 9th of June Responses from Austria, Belgium, Czech Republic, Estonia, Finland, France, Germany,

      Add to Reading List

      Source URL: ec.europa.eu

      Language: English - Date: 2015-06-15 11:55:12
      4Complexities of Horn Description Logics MARKUS KRÖTZSCH Department of Computer Science, University of Oxford, United Kingdom SEBASTIAN RUDOLPH Institute AIFB, Karlsruhe Institute of Technology, Germany and

      Complexities of Horn Description Logics MARKUS KRÖTZSCH Department of Computer Science, University of Oxford, United Kingdom SEBASTIAN RUDOLPH Institute AIFB, Karlsruhe Institute of Technology, Germany and

      Add to Reading List

      Source URL: tocl.acm.org

      - Date: 2012-01-26 05:37:50
        5Water / Music / Sound / Piping / Bass / Horn / Tubing / Pipe / Trombone / Plumbing / Brass instruments / Irrigation

        ® forget about the water and focus on the music Inspired Innovation – Made in Germany

        Add to Reading List

        Source URL: www.hornarama.com

        Language: English - Date: 2015-02-04 04:47:38
        6Cambridge University Press[removed]9 - Absolutism and the Eighteenth-Century Origins of Compulsory Schooling in Prussia and Austria James Van Horn Melton Excerpt More information

        Cambridge University Press[removed]9 - Absolutism and the Eighteenth-Century Origins of Compulsory Schooling in Prussia and Austria James Van Horn Melton Excerpt More information

        Add to Reading List

        Source URL: assets.cambridge.org

        Language: English - Date: 2013-02-23 10:30:30
        7   	
   Waltemath, Joan.

            Waltemath, Joan. "Rebecca Horn: Cosmic Maps," The Brooklyn Rail, June 2008.

        Add to Reading List

        Source URL: prod-images.exhibit-e.com

        Language: English - Date: 2014-03-18 13:27:55
        8ORGANIZATION AND EVALUATION OF PTS FOR THE DETERMINATION OF VOC-EMISSIONS FROM MATERIALS IN EMISSION TEST CHAMBERS Olaf Wilke and Wolfgang Horn BAM Federal Institute for Materials Research and Testing, Berlin, Germany IN

        ORGANIZATION AND EVALUATION OF PTS FOR THE DETERMINATION OF VOC-EMISSIONS FROM MATERIALS IN EMISSION TEST CHAMBERS Olaf Wilke and Wolfgang Horn BAM Federal Institute for Materials Research and Testing, Berlin, Germany IN

        Add to Reading List

        Source URL: www.eurachempt2014.de

        Language: English - Date: 2014-10-13 07:29:56
        9Genealogy Center 4210 Main St. – PO Box 249, Elk Horn IA[removed]A Thumbnail Guide to Beginning Your Research for Danish Immigrant Ancestors Work backwards. Collect as much information as possible on the children of your

        Genealogy Center 4210 Main St. – PO Box 249, Elk Horn IA[removed]A Thumbnail Guide to Beginning Your Research for Danish Immigrant Ancestors Work backwards. Collect as much information as possible on the children of your

        Add to Reading List

        Source URL: www.danishmuseum.org

        Language: English - Date: 2014-02-04 13:02:12