Applied logic for computer scientist...
de Moura, Flavio L.C.

 

  • Applied logic for computer scientists = computational deduction and formal proofs /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Applied logic for computer scientists/ by Mauricio Ayala-Rincon, Flavio L.C. de Moura.
    Reminder of title: computational deduction and formal proofs /
    Author: Ayala-Rincon, Mauricio.
    other author: de Moura, Flavio L.C.
    Published: Cham :Springer International Publishing : : 2017.,
    Description: xviii, 150 p. :ill., digital ; : 24 cm.;
    Contained By: Springer eBooks
    Subject: Computer logic. -
    Online resource: http://dx.doi.org/10.1007/978-3-319-51653-0
    ISBN: 9783319516530
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login