Logic-based program synthesis and tr...
(1998 :)

 

  • Logic-based program synthesis and transformation9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers /
  • Record Type: Electronic resources : Monograph/item
    Title/Author: Logic-based program synthesis and transformationAnnalisa Bossi (ed.).
    Reminder of title: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers /
    remainder title: LOPSTR'99
    other author: Bossi, Annalisa.
    corporate name:
    Published: Berlin ;Springer,c2000.
    Description: viii, 312 p. :digital ;25 cm.
    Series: Lecture notes in computer science,
    Contained By: Springer e-books
    Subject: Logic programming
    Online resource: http://dx.doi.org/10.1007/10720327
    ISBN: 9783540676287 (paper)
Items
  • 1 records • Pages 1 •
 
000000045712 電子館藏 1圖書 電子書 EB QA76.63 .I57 1999 c2000. 一般使用(Normal) On shelf 0  
  • 1 records • Pages 1 •
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login