Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
tarafından
Avigad, Jeremy. editor.
Başlık
:
Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Yazar
:
Avigad, Jeremy. editor.
ISBN
:
9783319948218
Edisyon
:
1st ed. 2018.
Fiziksel Niteleme
:
XVII, 642 p. 103 illus. online resource.
Seri
:
Theoretical Computer Science and General Issues ; 10895
Özet
:
Chapters 2, 10, 26, 29, 30 and 37 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Konu Başlığı
:
Computer science.
Software engineering.
Artificial intelligence.
Logic design.
Computer system performance.
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market-codes/I16048
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
Artificial Intelligence. http://scigraph.springernature.com/things/product-market-codes/I21000
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I1603X
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product-market-codes/I14037
System Performance and Evaluation. http://scigraph.springernature.com/things/product-market-codes/I13049
Yazar Ek Girişi
:
Avigad, Jeremy.
Mahboubi, Assia.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 226279-1001 | QA8.9 -QA10.3 | Springer E-Book Collection |