Automated Deduction - CADE-25 = 25th...
Felty, Amy P.

 

  • Automated Deduction - CADE-25 = 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Automated Deduction - CADE-25/ edited by Amy P. Felty, Aart Middeldorp.
    Reminder of title: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings /
    other author: Felty, Amy P.
    Description: XXVIII, 640 p. 93 illus.online resource. :
    Contained By: Springer Nature eBook
    Subject: Optical data processing. -
    Online resource: https://doi.org/10.1007/978-3-319-21401-6
    ISBN: 9783319214016
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login