About: http://www.idref.fr/204087104

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: http://www.idref.fr/204087104 Goto Sponge NotDistinct Permalink

An Entity of Type : bibo:Document, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	Document
Date Created	2017-09-19(xsd:dateTime)
Date Modified	2024-09-13 19:29:12(xsd:dateTime)
editorial note	Nouvelles techniques pour l'instanciation et la production des preuves dans SMT / Haniel Barbosa ; sous la direction de Stephan Merz, David Déharbe et Pascal Fontaine. Thèse de doctorat : Informatique : Université de Lorraine : 2017 : Professeure, RWTH Aachen University en 2017 Internet : https://www.rwth-aachen.de/cms/root/Die-RWTH/Exzellenzinitiative/Zukunftskonzept-II/Juniorprofessuren/~bsoz/Professorin-Erika-Abraham/?lidx=1 (consulté le 19/09/2017)
primary topic	Ábrahám, Erika
Creator	Agence bibliographique de l'enseignement supérieur (Montpellier, France ; 1994-....)
Identifier	204087104

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software