Wu Wen-tsun (auth.): mencari di situs web Z-Library

Sumbangan 15 September 2024 – 1 Oktober 2024 Tentang pengumpulan dana

Akses gratis ke pengetahuan dan budaya.

Sumbangan 15 September 2024 – 1 Oktober 2024

Z-Library adalah perpustakaan online yang terbesar di dunis yang mengandung lebih dari 17,000,000 buku dan 84,837,000 artikel. Misi kami adalah membuat buku dapat diakses oleh semua orang! Hari ini (15 September 2024) kami mulai mengumpulkan sumbangan untuk mendukung dan mengembangkan proyek.

Juga unduhan TANPA BATASAN (selama 31 hari setelah hari pemberian donasi) tersedia untuk SEMUA pengguna yang akan menyumbang proyek selama periode pengumpulan sumbangan hingga 1 Oktober 2024.

Tentang pengumpulan danaMembaca lebih lanjut

Diterapkan filter

Pencocokan lengkap

Pencocokan lengkap

Buku (7)
Yang paling populer
Daftar
- Daftar
- Tabel

1

Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings

Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Wu Wen-Tsün (auth.), William McCune (eds.)

Tahun:

1997

Bahasa:

english

File:

PDF, 8.12 MB

0 / 0

english, 1997

2

Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Wen-tsun Wu (auth.), Atsushi Ohori (eds.)

Tahun:

2003

Bahasa:

english

File:

PDF, 3.49 MB

0 / 0

english, 2003

3

Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Wen-tsun Wu (auth.), Atsushi Ohori (eds.)

Tahun:

2003

Bahasa:

english

File:

PDF, 4.29 MB

0 / 0

english, 2003

4

Mechanical Theorem Proving in Geometries: Basic Principles

Mechanical Theorem Proving in Geometries: Basic Principles

Springer-Verlag Wien

Dr. Wen-tsün Wu (auth.)

Tahun:

1994

Bahasa:

english

File:

PDF, 4.87 MB

0 / 0

english, 1994

5

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Wen-tsun Wu (auth.), Hongbo Li, Peter J. Olver, Gerald Sommer (eds.)

Tahun:

2005

Bahasa:

english

File:

PDF, 6.38 MB

0 / 0

english, 2005

6

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers

Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Wen-tsun Wu (auth.), Hongbo Li, Peter J. Olver, Gerald Sommer (eds.)

Tahun:

2005

Bahasa:

english

File:

PDF, 5.21 MB

0 / 0

english, 2005

7

Algorithms and Computation: 5th International Symposium, ISAAC '94 Beijing, P. R. China, August 25–27, 1994 Proceedings

Algorithms and Computation: 5th International Symposium, ISAAC '94 Beijing, P. R. China, August 25–27, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Wu Wen-tsun (auth.), Ding-Zhu Du, Xiang-Sun Zhang (eds.)

Tahun:

1994

Bahasa:

english

File:

DJVU, 6.07 MB

0 / 0

english, 1994