ItalianoClear Cookie - decide language by browser settings
in titoli, abstract e parole chiave
Ricerca
Simple Search
Advanced Search
Ultime accessioni
Browse
Browse by Author
Browse by Subject
Browse by Year
Browse by Type
Browse by Accessibilità del full-text
Informazioni
Policy
About
FAQ
Contatti

Santoro, Matteo (2007) Formal methods in robotics: a probabilistic constraint nets approach. [Tesi di dottorato] (Unpublished)

[img]
Preview
 PDF
Santoro_Scienze_Computazionali.pdf
Download (1MB) | Preview
[error in script] [error in script]
Item Type: Tesi di dottorato
Resource language: English
Title: Formal methods in robotics: a probabilistic constraint nets approach
Creators:
CreatorsEmail
Santoro, MatteoUNSPECIFIED
Date: 2007
Date type: Publication
Number of Pages: 127
Institution: Università degli Studi di Napoli Federico II
Department: Matematica e applicazioni "Renato Caccioppoli"
Dottorato: Scienze computazionali e informatiche
Ciclo di dottorato: 19
Coordinatore del Corso di dottorato:
nomeemail
De Luca, AldoUNSPECIFIED
Tutor:
nomeemail
Trautteur, GiuseppeUNSPECIFIED
Date: 2007
Number of Pages: 127
Keywords: Robotics; Formal methods; Constraint nets
Settori scientifico-disciplinari del MIUR: Area 01 - Scienze matematiche e informatiche > INF/01 - Informatica
Date Deposited: 14 May 2008
Last Modified: 30 Apr 2014 19:26
URI: http://www.fedoa.unina.it/id/eprint/1617
DOI: 10.6092/UNINA/FEDOA/1617

Downloads

Downloads per month over past year

Actions (login required)

View Item View Item

fedOA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.