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
Description
Physical Description:XI, 495 p. 82 illus. online resource.
ISBN:9783642140525
ISSN:0302-9743 ;

Similar Items