Logic for Programming, Artificial In...
McIver, Annabelle.

 

  • Logic for Programming, Artificial Intelligence, and Reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Logic for Programming, Artificial Intelligence, and Reasoning/ edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov.
    Reminder of title: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
    other author: Davis, Martin.
    Description: XV, 640 p. 142 illus. in color.online resource. :
    Contained By: Springer Nature eBook
    Subject: Software engineering. -
    Online resource: https://doi.org/10.1007/978-3-662-48899-7
    ISBN: 9783662488997
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login