Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /

Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /

Show other versions (1)
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Kaufmann, Matt (Editor), Paulson, Lawrence C. (Editor)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:Lecture Notes in Computer Science, 6172
Subjects:
Computer science.
Antibodies.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence (incl. Robotics).
Online Access:Full Text via HEAL-Link
Search Result 1
Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
by Kaufmann, Matt
Published 2010
Get full text
Electronic Kit Book
Show all versions (2)

Similar Items