EPJ Web of Conferences 66, DOI: epjconf83
C Owned by the authors, published by EDP Sciences, 2014 On the Road to FAIR: 1st Operation of AGATA in PreSPEC at GSI

Source URL: www.epj-conferences.org

ORARIO DAL 21/3 AL 12/6 S. Agata (Torca) - Massa Lubrense - Sorrento F 5:15 5:25 5:30

Source URL: sorrentotourism.com

Medienmitteilung Agata Nowak, Miguel Ángel Pérez Domingo und Alexandre Mastrangelo erhalten den «Fritz-Gerber-Award 2016» Luzern, 21. AprilDen diesjährigen Award der Fritz-Gerber-Stiftung für junge, hochbega

Source URL: www.fritz-gerber-stiftung.ch

Agata Karska Lista publikacji z dnia 31 października 2014 Publikacje w czasopismach 1. Mottram J.C., Kristensen L.E., van Dishoeck E. F., Bruderer S., San José-García I., Karska A., Visser R., Santangelo G., Benz A.O.

Source URL: www.fnp.org.pl

Eventi CITTÀ della SCIENZA Via Simeto n.1 (ang. Viale Libertà) - Catania Venerdì 20 MaggioIntroduzione - Agata Copani (Responsabile Città della Scienza)

Source URL: www.ballediscienza-catania.it

Organization Structure Description for the Needs of Semantic Business Process Management Witold Abramowicz1 , Agata Filipowska1 Monika Kaczmarek1 , Carlos Pedrinaci2 , Monika Starzecka1 , and Adam Walczak1 1

Source URL: sbpm2008.fzi.de

Guidelines for ECB+ Annotation of Events and their Coreference Technical Report NWRVersion FINAL Agata Cybulska, Piek Vossen

Source URL: www.newsreader-project.eu

First-order satisfiability in Gödel logics: an NP-complete fragment Matthias Baaza,1 , Agata Ciabattonia,2 , Norbert Preininga,b,3 a b

Source URL: www.preining.info

• Logic
• Mathematical logic
• Abstraction
• Model theory
• Non-classical logic
• Logic in computer science
• Predicate logic
• First-order logic
• Boolean satisfiability problem
• Gdel numbering
• Many-valued logic
• Kripke semantics

Towards Discrete-Time Verification of Time Petri Nets with Dense-Time Semantics? Agata Janowska1 , Wojciech Penczek2 , Agata P´olrola3 , and Andrzej Zbrzezny4 1 4

Source URL: csp2011.mimuw.edu.pl

D5.1.1 Event Narrative Module, version 1 Deliverable D5.1.1 Version FINAL Authors: Piek Vossen1 , Agata Cybulska1 , Egoitz Laparra2 , Oier Lopez de Lacalle3 , Eneko Agirre2 , German Rigau2

Source URL: www.newsreader-project.eu