automated reasoning,5th international joint conference, ijcar 2010, edinburgh, uk, july 16-19, 2010, proceedings
jurgen (edt) giesl
automated reasoning,5th international joint conference, ijcar 2010, edinburgh, uk, july 16-19, 2010, proceedings
Jurgen (Edt) Giesl (Autor) · springer-verlag new york inc · Libro Físico
Sin Stockautomated reasoning,5th international joint conference, ijcar 2010, edinburgh, uk, july 16-19, 2010, proceedings
jurgen (edt) giesl
¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.
