Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
by
Blazy, Sandrine. editor.
Title
:
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Author
:
Blazy, Sandrine. editor.
ISBN
:
9783642396342
Physical Description
:
XII, 498 p. 73 illus. online resource.
Series
:
Lecture Notes in Computer Science, 7998
Subject Term
:
Computer science.
Software engineering.
Data protection.
Computer software.
Logic design.
Artificial intelligence.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Logics and Meanings of Programs.
Systems and Data Security.
Algorithm Analysis and Problem Complexity.
Added Author
:
Paulin-Mohring, Christine.
Pichardie, David.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 334825-1001 | ONLINE(334825.1) | | Elektronik Kütüphane |