1
0
0
News
Two full-time PhD scholarships in Artificial Intelligence, Magdeburg...
www.illc.uva.nl
The Institute of Knowledge and Language Engineering at Otto-von-Guericke University Magdeburg, Germany, offers two PhD scholarships until November (with a...
WADT : 22nd International Workshop on Algebraic Development...
www.wikicfp.com
WADT : 22nd International Workshop on Algebraic Development Techniques
Netzwerk-Profile
LinkedIn: Mihai Codescu | LinkedIn
Mihai Codescus berufliches Profil anzeigen LinkedIn ist das weltweit größte berufliche Netzwerk, das Fach- und Führungskräften wie Mihai Codescu dabei hilft, ...
LinkedIn: Atunci cand deschizi usa cu POSDRU - LinkedIn
Mihai Codescu. Associate Partner at STAND FOR… Publicat la 17 iun + Urmăriți. Nicoleta Enache a participat la Telekom Romania Trainee Program, ... › pulse › at...
LinkedIn: Work From Home - versiunea KIDS - LinkedIn
Mihai Codescu. Associate Partner at STAND FOR… Publicat la 2 apr + Urmăriți. Suntem atăția parinți care lucrăm de acasă, alături de noii colegi – ai ... › pulse › w...
Interessen
Mihai Codescu & Daniel Găină, Birkhoff Completeness in Institutions ...philpapers.org › rec › CODBCI
philpapers.org
Mihai Codescu & Daniel Găină · Logica Universalis 2 (2): (2008). @article{Codescu2008-CODBCI, title = {Birkhoff Completeness in Institutions}, number ...
Firmen-Mitarbeiter
Theoretical Computer Science Mihai Codescu
www.theo.ovgu.de
Dr.-Ing. Silvestru Mihai Codescu. AG Formale Methoden und Semantik Gebäude 29, Magdeburg, G
Theoretical Computer Science Fabian Neuhaus
www.theo.ovgu.de
Aug 10, · Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski and Fabian Neuhaus. Between Contact and Support: Introducing a logic for image schemas and directed movement. In: 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), pages Maria M. Hedblom, Oliver Kutz, Till Mossakowski and ...
Theoretical Computer Science - Till Mossakowski
www.theo.ovgu.de
May 11, · Mihai Codescu, Daniel Couto Vale, Oliver Kutz and Till Mossakowski. [doi] [abstract] [BibTeX] We develop a web service for route finding in OpenStreetMap (OSM) following an activity-centred approach: the aim is not only to assist the user in travelling from A to B, but also to perform a series of specified activities along the way.
Ausbildung
Semantics of Programming Languages
theo.cs.ovgu.de
Instructor: Dr. Mihai Codescu: Language: English: Weekly timeplan: 2 + 2 + 0 : Intended audience: Bachelor Informatik Semester 5 and 6, Master Computervisualistik ...
Herkunft
Mihai Codescu - The Mathematics Genealogy Projectwww.genealogy.math.ndsu.nodak.edu › ...
www.genealogy.math.ndsu.nodak.edu
Mihai Codescu. MathSciNet. Dr. Universität Bremen Germany. Dissertation: Architectural Refinement in Hets. Mathematics Subject Classification: 68—Computer ...
Bücher
Recent Trends in Algebraic Development Techniques: 22nd ...www.barnesandnoble.com › Textbooks
www.barnesandnoble.com
$ Mihai Codescu, Razvan Diaconescu, Ionu? ?u?u. Mihai Codescu. View More. No rating value average rating value is 0.0 of 5. Read 0 Reviews Same page link. (0). $ Mihai Codescu, Razvan Diaconescu, Ionu? ?u?u. Mihai Codescu. View More. No rating value average rating value is 0.0 of 5. Read 0 Reviews Same page link. (0).
Recent Trends in Algebraic Development Techniques - Booktopiawww.booktopia.com.au › book
www.booktopia.com.au
AU$ Mihai Codescu. Buy a discounted Paperback of Recent Trends in Algebraic nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised ... AU$ Mihai Codescu. Buy a discounted Paperback of Recent Trends in Algebraic nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised ...
bokus.com: Recent Trends in Algebraic Development Techniques - Mihai ...www.bokus.com › bok › recent-trends-in-algebraic-...
Köp Recent Trends in Algebraic Development Techniques av Mihai Codescu, Razvan Diaconescu, Ionut Tutu. Skickas inom vardagar. Fri frakt över 199 kr.
Mihai Codescu en Apple Books
books.apple.com
Previsualiza y descarga libros de Mihai Codescu, incluido Recent Trends in Algebraic Development Techniques.
Dokumente zum Namen
[ ] Canonical Selection of Colimits
arxiv.org
Mihai Codescu. (Submitted on 25 May 2017). Abstract: Colimits are a powerful ...
Mihai Codescu ’s Presentations on authorSTREAM
www.authorstream.com
View all PowerPoint presentations, Keynotes, PDF files uploaded by Mihai Codescu on authorSTREAM
Mihai Codescu - Academia.eduindependent.academia.edu › MCodescu
independent.academia.edu
Mihai Codescu studies Industrial History, Organizational Design and Structure, and Compensation Management.
Logic in Computer Science authors/titles Jun arXivarxiv.org › cs › cs.LO
arxiv.org
Authors: Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski. Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI). [ total of
Wissenschaftliche Veröffentlichungen
Mihai Codescu - DBLPdblp.org › Persons
dblp.org
Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski:
Suche nach Veröffentlichungen - Detailansicht
www.informatik.uni-bremen.de
Art der Veröffentlichung: Artikel in Konferenzband: Autor: Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski, Rafaela Rau: Titel: OSMonto - An Ontology ...
Veröffentlichungen allgemein
Compiling Logics | SpringerLinklink.springer.com › chapter
link.springer.com
Compiling Logics. Authors; Authors and affiliations. Mihai Codescu; Fulya Horozal; Aivaras Jakubauskas; Till Mossakowski; Florian Rabe. Mihai Codescu. 1.
Ontohub - Ontohub
wiki.dol-omg.org
References ↑ Mossakowski, Till, Oliver Kutz, and Mihai Codescu. "Ontohub - a repository engine for heterogeneous ontologies and alignments." preprint. PDF ↑ Mossakowski, Till, Christoph Lange, and Oliver Kutz. "Three Semantics for the Core of the Distributed Ontology Language."
Checking Conservativity with Hets - Springerlink.springer.com › chapter
link.springer.com
Mihai Codescu. DFKI GmbH Bremen, Germany. Till Mossakowski & Christian Maeder. SFB/TR 8 “Spatial Cognition”, University of Bremen, Germany. Till Mossakowski.
Pestera cuciulat — peștera cuciulat se află situată în localitatea cu...
kampioenboken.com
Pestera Cuciulat se afla situata in localitatea cu acelasi nume, componenta a comunei Letca. Satul. Descriere Pestera Cuciulat . Pestera Cuciulat s-a facut...
Artikel & Meinungen
Chipuri ale informaticii teoretice românești – Isarlâk
gabrielistrate.wordpress.com
Robert Mercaș, Mihai Codescu, Virgil Căzănescu (in fundal), și … un metru de bere :) _
Sonstiges
Atunci cand deschizi usa cu POSDRU | Mihai Codescu | Pulse ...
www.linkedin.com
Nicoleta Enache a participat la Telekom Romania Trainee Program, aflat deja la a 6-a editie. Programul a fost creat cu gandul la tinerii care-si doresc sa invetee ...
Mihai Codescu | LinkedIn
www.linkedin.com
View Mihai Codescu's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Mihai Codescu discover ...
România-natura40 - Cascadă de 45 metri în Podişul Someşan
sites.google.com
harti, imagini texte despre natura din Romania; maps, images, pages about the nature of Romania
Google Maps
www.google.com
Mihai Codescu. Local Guide · Level points1 point 893 points points points points points points , ,500. Looking for your own reviews and photos ?
Mihai Codescu kirjat | Osta Antikvaarista - Kirjakauppa verkossawww.antikvaari.fi › kirjailijat › mihai-codescu
www.antikvaari.fi
Tutustu kirjailijaan Mihai Codescu ja selaile hänen tuotantoaan Antikvaarissa. Löydät meiltä uusia sekä käytettyjä kirjoja. Tutustu Antikvaarin valikoimaan ...
Codescu - Names Encyclopedia
namespedia.com
Surname Codescu is used at least 211 times in at least 5 countries Cornelia Codescu (2) Bogdan Codescu (2) Mihai Codescu (2) Corneliu Codescu (2) Mielu Codescu …
Codescu Namensbedeutung und -herkunft - Namespediade.namespedia.com › details › Codescu
de.namespedia.com
Mihai Codescu (2) Corneliu Codescu (2) Mielu Codescu (2) Melu Codescu (2) Liviu Codescu (2) Ciprian Codescu (2) Tudorina Codescu (1) Vasilica Codescu (1)
Stream Mihai Codescu music | Listen to songs, albums, playlists for ...soundcloud.com › mihai-codescu
soundcloud.com
Play Mihai Codescu on SoundCloud and discover followers on SoundCloud | Stream tracks, albums, playlists on desktop and mobile.
Home page of Mihai Codescu - Magdeburg - IKSiks.cs.ovgu.de › ~codescu
iks.cs.ovgu.de
Mihai Codescu. Contact. Institutul de Matematică "Simion Stoilow" Calea Griviţei 21, Bucureşti , ROMÂNIA. . About me. I am a ...
Mihai Codescu (@g06cdy) • Instagram photos and videoswww.instagram.com › ...
www.instagram.com
0 Followers, 784 Following, 336 Posts - See Instagram photos and videos from Mihai Codescu (@g06cdy)
Mihai Codescu (mcodescu) - Profile | Pinterestwww.pinterest.de › mcodescu
www.pinterest.de
See what Mihai Codescu (mcodescu) has discovered on Pinterest, the world's ... Mihai Codescu. @mcodescu. 52 Follower. · folge ich. Folgen.
Pin von Michael Lampe auf Meine Flipcharts | Flipchart gestalten,...
www.pinterest.co.uk
Mihai Codescu hat diesen Pin entdeckt. Entdecke (und sammle) deine eigenen Pins bei Pinterest.
Mihai Codescu – Medium
medium.com
Read writing from Mihai Codescu on Medium. Every day, Mihai Codescu and thousands of other voices read, write, and share important stories on Medium.
Mihai Codescu ; Razvan Diaconescu ; Ionut Tutu - Librislibris.nl › sonneveld › zoek
libris.nl
Alleen bestelbare artikelen worden getoond. Klik hier om ook eventuele niet-bestelbare resultaten te tonen. De zoekopdracht. Mihai Codescu ; Razvan Diaconescu ; ...
Pagini fundraising - Mihai Codescu: Bebelușii ne simt! - Galantomgalantom.ro › fundraising_pages › view
galantom.ro
Mihai Codescu Organizația Salvați Copiii ... Vreau să fac o donaţie! ... Cred că din primele lor momente, bebelușii ne aud, ne simt și oricât de mic semn de ...
ARQNL Automated Reasoning in Quantified Non ...
www.iltp.de
Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, and Michael Grüninger Proof Support for Common Logic [ arqnl2014_paper5.pdf ] Hans De Nivelle Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic [ arqnl2014_paper6.pdf ] Jens Otten and …
CEUR-WS.org/Vol Terra Cognita Workshop on Foundations,...
ceur-ws.org
Mihai Codescu, Daniel Couto Vale, Oliver Kutz, Till Mossakowski ; 18-Sep-2012: submitted by Manolis Koubarakis, Stella Giannakopoulou 18-Sep-2012: published on …
Concept Invention | springerprofessional.de
www.springerprofessional.de
Roberto Confalonieri, Tarek Besold, Mihai Codescu, Manfred Eppe. Chapter 8 Formal Conceptual Blending in the (Co-)Invention of (Pure) Mathematics. Abstract. We claim that conceptual blending plays a key role in mathematical discovery and invention. We use a formalisation of blending in terms of colimits of many-sorted first-order logical ...
Journal on Data Semantics | springerprofessional.de
www.springerprofessional.de
Mihai Codescu, Till Mossakowski, Oliver Kutz | Original Article | Ausgabe Efficient Analytical Queries on Semantic Web Data Cubes. Lorena Etcheverry, Alejandro A. Vaisman | Original Article | Ausgabe Schema Evolution Survival Guide for Tables: Avoid Rigid Childhood and You’re En Route to a Quiet Life ...
sortiert nach Relevanz / Datum