Cover Image
Saved in:

Practical aspects of declarative languages 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings /

Bibliographic Details
Corporate Authors: PADL 2012 Philadelphia, Pa.), SpringerLink (Online service)
Other Authors: Russo, Claudio., Zhou, Neng-Fa.
Format: Online Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, c2012.
Series:Lecture notes in computer science ; 7149.
Subjects:
Online Access:Online version
Tags: Add Tag
No Tags, Be the first to tag this record!
LEADER 02009cam a2200505Ia 4500
001 1365061
005 20120531115644.0
006 m d
007 cr cnu---unuuu
008 120214s2012 gw a ob 101 0 eng d
020 |a 3642276946 (electronic bk.) 
020 |a 9783642276941 (electronic bk.) 
020 |z 9783642276934 
035 |a (OCoLC)776623767 
035 |a (OCoLC)ocn776623767 
040 |a GW5XE  |c GW5XE  |d GZM  |d COO 
049 |a PVUM 
050 4 |a QA76.615  |b .P33 2012 
111 2 |a PADL 2012  |d (2012 :  |c Philadelphia, Pa.) 
245 1 0 |a Practical aspects of declarative languages  |h [electronic resource] :  |b 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings /  |c Claudio Russo, Neng-Fa Zhou (eds.). 
246 3 |a PADL 2012 
260 |a Berlin ;  |a New York :  |b Springer,  |c c2012. 
300 |a 1 online resource (x, 303 p.) :  |b ill. 
490 1 |a Lecture notes in computer science,  |x 0302-9743 ;  |v 7149 
500 |a International conference proceedings. 
504 |a Includes bibliographical references and author index. 
506 |a Electronic access restricted to Villanova University patrons 
650 0 |a Declarative programming languages  |v Congresses. 
653 4 |a Artificial Intelligence (incl. Robotics). 
653 4 |a Artificial intelligence. 
653 4 |a Computer science. 
653 4 |a Logic design. 
653 4 |a Logics and Meanings of Programs. 
653 4 |a Mathematical Logic and Formal Languages. 
653 4 |a Programming Languages, Compilers, Interpreters. 
653 4 |a Programming Techniques. 
653 4 |a Software engineering. 
655 7 |a Electronic books.  |2 local 
700 1 |a Russo, Claudio. 
700 1 |a Zhou, Neng-Fa. 
710 2 |a SpringerLink (Online service) 
830 0 |a Lecture notes in computer science ;  |v 7149.  |x 0302-9743 
856 4 0 |z Online version  |u http://ezproxy.villanova.edu/login?URL=http://dx.doi.org/10.1007/978-3-642-27694-1 
994 |a 92  |b PVU 
852 |b WWW