Publisher: Springer; 2001 edition (June 13, 2008)
Format: PDF / Kindle / ePub
Size: 8.3 MB
Downloadable formats: PDF
This ebook constitutes the refereed lawsuits of the 3rd overseas Symposium on functional elements of Declarative Programming, PADL 2001, held in Las Vegas, Nevada, united states in March 2001.The 23 revised complete papers awarded have been conscientiously reviewed and chosen from a complete of forty submissions. one of the subject matters coated are Mu-calculus, specification languages, Java, net programming, VRML, safeguard protocols, database safety, authentication protocols, Prolog programming, implementation, constraint programming, visible monitoring, and version checking.
Download AI*IA 2009: Emergent Perspectives in Artificial Intelligence: XIth International Conference of the Italian Association for Artificial Intelligence, ... (Lecture Notes in Computer Science) summary