Logical foundations of computer scie...
Workshop on the Preservation of Stability under Discretization ((2001 :)

 

  • Logical foundations of computer science = International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Logical foundations of computer science/ edited by Sergei Artemov, Anil Nerode.
    Reminder of title: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings /
    remainder title: LFCS 2016
    other author: Artemov, Sergei.
    corporate name: Workshop on the Preservation of Stability under Discretization
    Published: Cham :Springer International Publishing : : 2016.,
    Description: x, 407 p. :ill., digital ; : 24 cm.;
    Contained By: Springer eBooks
    Subject: Computer science -
    Online resource: http://dx.doi.org/10.1007/978-3-319-27683-0
    ISBN: 9783319276830
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login