Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers / edited by Sandro Etalle.

By: Etalle, SandroContributor(s): SpringerLink (Online service)Material type: Computer fileComputer fileSeries: Lecture Notes in Computer Science, 3573Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Edition: 1a edDescription: v.: digitalISBN: 9783540316831Subject(s): Computer science | Logic design | Artificial intelligence | Computer Science | Logics and Meanings of Programs | Programming Techniques | Mathematical Logic and Formal Languages | Artificial Intelligence (incl. Robotics)LOC classification: QA76.63 | E83 2005Online resources: Click here to access online In: Springer eBooks
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Call number Vol info URL Copy number Status Notes Date due Barcode
Libro Electrónico Libro Electrónico Biblioteca Digital
Responsable: Alejandra Vargas Mejía
Colección Digital
QA76.63 E83 2005 (Browse shelf) BDIG00010702 Link to resource 1 Available SpringerLink BDIG00010702

There are no comments on this title.

to post a comment.

Powered by Koha