Interactive Theorem Proving4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /

Advanced Search

There is no item/copy for this title yet

SpringerLink (Online service) - Personal Name
Paulin-Mohring, Christine. - Personal Name
Pichardie, David. - Personal Name

Tidak Tersedia Deskripsi

Ketersediaan

Tidak ada salinan data

Informasi Detil

No. Panggil	-
Jilid	-
Edisi	-
ISBN/ISSN	9783642396342
Subyek	Computer science.
Kata Kunci	-
DDC	5.131
TYPE	EBK
Bahasa	English
Penerbit	: .,
Deskripsi Fisik	XII, 498 p. 73 illus.online resource.
Info Detil Spesifik	-

Literature Searching Service (LSS)

Hard copy atau foto copy dari buku ini dapat diberikan dengan syarat ketentuan berlaku, jika berminat, silahkan hubungi via telegram (Chat Services LSS)

Informasi

Anda harus login sebelum Booking Buku dan memberikan komentar