Normal view MARC view ISBD view

Types for Proofs and Programs [electronic resource] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / edited by Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro.

By: Berardi, Stefano.
Contributor(s): Damiani, Ferruccio | de’Liguoro, Ugo | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science, 5497.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Description: digital.ISBN: 9783642024443.Subject(s): Computer science | Logic design | Algebra -- Data processing | Artificial intelligence | Computer Science | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | Programming Languages, Compilers, Interpreters | Symbolic and Algebraic Manipulation | Artificial Intelligence (incl. Robotics)DDC classification: 005.1015113 Online 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.
No physical items for this record

There are no comments for this item.

Log in to your account to post a comment.

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue