Wellcome

Interactive Theorem Proving [electronic resource] : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Matt Kaufmann, Lawrence C. Paulson.

By: Kaufmann, MattContributor(s): Paulson, Lawrence C | SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer Science ; 6172Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010ISBN: 9783642140525Subject(s): Computer science | Monoclonal antibodies | Software engineering | Logic design | Artificial intelligence | Computer Science | Logics and Meanings of Programs | Software Engineering | Mathematical Logic and Formal Languages | Programming Languages, Compilers, Interpreters | Artificial Intelligence (incl. Robotics) | AntibodiesAdditional physical formats: Printed edition:: No titleOnline resources: Click here to access online In: Springer eBooks
Item type:
Tags from this library: No tags from this library for this title. Log in to add tags.

No. of hits (from 9th Mar 12) :

web counter

Powered by Koha