Setările dvs. de confidențialitate

Selectând „Acceptă toate”, permiți Rakuten Kobo și partenerilor săi să utilizeze module cookie, tehnologii de urmărire și tehnologii similare pentru a colecta datele tale cu caracter personale și a le prelucra în următoarele scopuri: pentru a opera site-ul și serviciile Kobo și a asigura funcționarea corectă a acestora, pentru a-ți oferi conținut personalizat pe Kobo și reclame pentru Kobo pe alte platforme, precum și pentru a măsura analizele și a analiza modul în care sunt utilizate site-ul și serviciile noastre. În caz contrar, dă clic pe „Refuz” mai jos pentru a respinge toate scopurile neesențiale sau consultă „Setările de confidențialitate” pentru a-ți gestiona preferințele pentru fiecare scop. Pentru mai multe informații, citește Politica de confidențialitate.​

Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings Cărți electronice de

Interactive Theorem Proving

7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Rezumat

Despre această carte

  • Limbă:English
  • ISBN:9783319431444
  • Data lansării:9 nov. 2017
  • Editura:Springer International Publishing
  • Casetă tehnică:Springer
  • Formatul fișierului:EPUB2
  • Dimensiunea fișierului:8.42 MB
  • Opțiuni de descărcare:EPUB2 (Adobe DRM)