A problem has been found
A problem has ocurred in the communication with the server.
Please, try again later. If the problem persists, contact the admin
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
37
(1)
Show More
Show Less
Author
Figueiredo, Lucília Camarão de
(1)
Inchaurrondo, Claudia Inés
(1)
Montejano, Germán Antonio
(1)
Show More
Show Less
Subject
Ciencias Informáticas
(1)
SOFTWARE ENGINEERING
(1)
Tools
(1)
aprendizaje
(1)
ingeniería de software
(1)
probadores de teoremas
(1)
Show More
Show Less
Year
2011
(1)
2012
(1)
Show More
Show Less
Document Type
Sin Especificar
(1)
Show More
Show Less
Language
Español
(1)
Show More
Show Less
Your search
Subject:
CAD Tools
Year:
2012
Year:
2011
Repository:
37
Sort by
Score
Title
Year
-
1-1 from
1
results
(0.009 seconds)
Title:
Estudio y desarrollo de herramientas sobre probadores de teoremas
Author:
Inchaurrondo, Claudia Inés
/
Montejano, Germán Antonio
/
Figueiredo, Lucília Camarão de
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
aprendizaje
/
SOFTWARE ENGINEERING
/
ingeniería de software
/
Tools
/
probadores de teoremas
Acceder
« Previous
1
Next »