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
: 
http://dx.doi.org/10.1007/978-3-642-39634-2


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book334825-1001ONLINE(334825.1)Elektronik Kütüphane