Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
by
 
Gonthier, Georges. editor.

Title
: 
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

Author
: 
Gonthier, Georges. editor.

ISBN
: 
9783319035451

Physical Description
: 
XII, 309 p. 44 illus. online resource.

Series
: 
Lecture Notes in Computer Science, 8307

Subject Term
: 
Computer science.
 
Logic design.
 
Algebra -- Data processing.
 
Artificial intelligence.
 
Logics and Meanings of Programs.
 
Mathematical Logic and Formal Languages.
 
Programming Languages, Compilers, Interpreters.
 
Symbolic and Algebraic Manipulation.
 
Artificial Intelligence (incl. Robotics).
 
Computer Science, general.

Added Author
: 
Norrish, Michael.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
http://dx.doi.org/10.1007/978-3-319-03545-1


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