Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
tarafından
 
Blazy, Sandrine. editor.

Başlık
: 
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

Yazar
: 
Blazy, Sandrine. editor.

ISBN
: 
9783642396342

Fiziksel Tanımlama
: 
XII, 498 p. 73 illus. online resource.

Seri
: 
Lecture Notes in Computer Science, 7998

Konu Terimleri
: 
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.

Yazar Ek Girişi
: 
Paulin-Mohring, Christine.
 
Pichardie, David.

Tüzel Kişi Ek Girişi
: 
SpringerLink (Online service)

Elektronik Erişim
: 
http://dx.doi.org/10.1007/978-3-642-39634-2


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap334825-1001ONLINE(334825.1)Elektronik Kütüphane