<--- Back to Details
First PageDocument Content
Rail transport in Europe / Trans-European Transport Networks / Verona / European Union / Brenner Base Tunnel / High-speed rail in Italy / Transport in Europe / Europe / Transport
Date: 2013-07-05 08:46:57
Rail transport in Europe
Trans-European Transport Networks
Verona
European Union
Brenner Base Tunnel
High-speed rail in Italy
Transport in Europe
Europe
Transport

Microsoft Word - fichenew_2007-IT[removed]M_FINAL.doc

Add to Reading List

Source URL: inea.ec.europa.eu

Download Document from Source Website

File Size: 443,17 KB

Share Document on Facebook

Similar Documents

Artificial intelligence / Logic / Cognitive science / Automated reasoning / Reasoning / Accountability / Technology / Automated theorem proving / Explainable Artificial Intelligence / Xai / Inference

Automated Reasoning for EXplainable Artificial Intelligence Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona

DocID: 1xVwB - View Document

Artificial intelligence / Cognitive science / Logic / Cognition / Cybernetics / Automated reasoning / Automated theorem proving / Computational neuroscience / Explainable Artificial Intelligence / Mark E. Stickel / Reason / Inference

Automated Reasoning for Explainable Artificial Intelligence∗ Maria Paola Bonacina1 Dipartimento di Informatica Universit` a degli Studi di Verona Strada Le Grazie 15

DocID: 1xVfb - View Document

Software engineering / Computing / Computer programming / Procedural programming languages / Programming languages / Logic in computer science / Programming language semantics / Abstract interpretation / Operational semantics / ALGOL 68 / Syntax / Programming language

NSADAbstract Domains for Type Juggling Vincenzo Arceri1 Department of Computer Science, University of Verona, Italy

DocID: 1xUtX - View Document

PDF Document

DocID: 1xSWq - View Document

PDF Document

DocID: 1xSEX - View Document