Bu bizim Türkiye mağazamız.

Anladığımız kadarıyla Amerika Birleşik Devletleri’dasınız. Türkiye mağazamızda alışveriş yapmak için bir Türkiye adresiniz olmalı. Devam etmek için Amerika Birleşik Devletleri mağazamıza gidin.

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 eKitap,

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

ekitap,ekitap

Özet

Bu kitap hakkında

  • Dil:English
  • ISBN:9783319948218
  • Yayın tarihi:22 Eyl 2022
  • Yayınevi:Springer International Publishing
  • Baskı:Springer
  • Dosya Biçimi:EPUB3
  • Dosya boyutu:20.73 MB
  • İndirme seçenekleri:EPUB3 (Adobe DRM)