Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Carro, Manuel
311
Ergebnisse:
OpenAccess-Volltexte X
Personensuche
X
Sprachen
englisch (220)
mehr...
spanisch (45)
französisch (1)
weniger...
Sortierung: Relevanz
Sortierung: Jahr
?
1
Building Information Modeling Using Constraint Logic Progra..:
Arias, Joaquin
;
Törmä, Seppo
;
Carro, Manuel
.
info:eu-repo/grantAgreement/EC/H2020/820660/. , 2022
Link:
https://zenodo.org/recor..
?
2
Building Information Modeling Using Constraint Logic Progra..:
Arias, Joaquín
;
Törmä, Seppo
;
Carro, Manuel
.
http://arxiv.org/abs/2205.08572. , 2022
Link:
http://arxiv.org/abs/220..
?
3
Towards Dynamic Consistency Checking in Goal-directed Predi..:
Arias, Joaquín
;
Carro, Manuel
;
Gupta, Gopal
http://arxiv.org/abs/2110.12053. , 2021
Link:
http://arxiv.org/abs/211..
?
4
Modeling and Reasoning in Event Calculus using Goal-Directe..:
Arias, Joaquín
;
Carro, Manuel
;
Chen, Zhuo
.
http://arxiv.org/abs/2106.14566. , 2021
Link:
http://arxiv.org/abs/210..
?
5
A Theoretical Study of (Full) Tabled Constraint Logic Progr..:
Arias, Joaquín
;
Carro, Manuel
http://arxiv.org/abs/2009.14430. , 2020
Link:
http://arxiv.org/abs/200..
?
6
Justifications for Goal-Directed Constraint Answer Set Prog..:
Arias, Joaquín
;
Carro, Manuel
;
Chen, Zhuo
.
http://arxiv.org/abs/2009.10238. , 2020
Link:
http://arxiv.org/abs/200..
?
7
Evaluation of the Implementation of an Abstract Interpretat..:
Arias, Joaquin
;
Carro, Manuel
http://arxiv.org/abs/1908.00104. , 2019
Link:
http://arxiv.org/abs/190..
?
8
Description, Implementation, and Evaluation of a Generic De..:
Arias, Joaquín
;
Carro, Manuel
http://arxiv.org/abs/1809.05771. , 2018
Link:
http://arxiv.org/abs/180..
?
9
Constraint Answer Set Programming without Grounding:
Arias, Joaquín
;
Carro, Manuel
;
Salazar, Elmer
..
http://arxiv.org/abs/1804.11162. , 2018
Link:
http://arxiv.org/abs/180..
?
10
Towards a Semantics-Aware Code Transformation Toolchain for..:
Tamarit, Salvador
;
Mariño, Julio
;
Vigueras, Guillermo
.
http://arxiv.org/abs/1701.03319. , 2017
Link:
http://arxiv.org/abs/170..
?
11
Towards Automatic Learning of Heuristics for Mechanical Tra..:
Vigueras, Guillermo
;
Carro, Manuel
;
Tamarit, Salvador
.
http://arxiv.org/abs/1701.07123. , 2017
Link:
http://arxiv.org/abs/170..
?
12
OASIcs, Volume 52, ICLP'16, Complete Volume:
Carro, Manuel
;
King, Andy
;
Saeedloei, Neda
.
doi:10.4230/OASIcs.ICLP.2016. , 2016
Link:
https://doi.org/10.4230/..
?
13
Front Matter, Table of Contents, Preface, List of Authors:
Carro, Manuel
;
King, Andy
;
Saeedloei, Neda
.
doi:10.4230/OASIcs.ICLP.2016.0. , 2016
Link:
https://doi.org/10.4230/..
?
14
Towards a Semantics-Aware Transformation Toolchain for Hete..:
Tamarit, Salvador
;
Mariño, Julio
;
Vigueras, Guillermo
.
http://arxiv.org/abs/1603.03011. , 2016
Link:
http://arxiv.org/abs/160..
?
15
Papers presented at the 32nd International Conference on Lo..:
Carro, Manuel
;
King, Andy
http://arxiv.org/abs/1608.05440. , 2016
Link:
http://arxiv.org/abs/160..
1-15