registros 1 al 4 de 4
Automated Reasoning
Autor/Editor: Demri, Stéphane  Kapur, Deepak  Weidenbach, Christoph
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08587-6
    + info
Computer Mathematics
Autor/Editor: Carbonell, Jaime G.  Siekmann, Jörg  Kapur, Deepak
Año de edición: 2008
Acceso: UBA
http://dx.doi.org/10.1007/978-3-540-87827-8
    + info
Dependable Software Engineering: Theories, Tools, and Applications
Autor/Editor: Fränzle, Martin  Kapur, Deepak  Zhan, Naijun
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-47677-3
    + info
Theoretical Aspects of Computing – ICTAC 2017
Autor/Editor: Hung, Dang Van  Kapur, Deepak
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-67729-3
    + info
  registros 1 al 4 de 4