skip to main content

Ngôn ngữ:

Adapting Proofs-as-Programs

Iman Hafiz Poernomo ; John N Crossley; David Gries; Fred B Schneider; Martin Wirsing

2005

Truy cập trực tuyến

Gửi đến

Nhan đề:
Adapting Proofs-as-Programs
Tác giả: Iman Hafiz Poernomo
Tác giả: John N Crossley; David Gries; Fred B Schneider; Martin Wirsing
Nơi xuất bản: Springer New York
Năm xuất bản: 2005
Ngôn ngữ: English
Số nhận dạng: ISBN0-387-23759-3;ISBN1-4419-2014-5;ISBN9786610851850;ISBN1-280-85185-6;ISBN0-387-28183-5
Nguồn: Tài liệu điện tử SFX

Liên kết riêng

Trở lại danh sách kết quả

Về trang trước

Kết quả 10

Tới trang tiếp theo

	DANH MỤC		LIÊN HỆ
	Giới thiệu	Tìm kiếm	TRUNG TÂM SỐ - ĐẠI HỌC THÁI NGUYÊN
	Sản phẩm	Sử dụng	Phường Tân Thịnh-Thành phố Thái Nguyên
	Dịch vụ	Hỏi đáp	Điện thoại: (+84)-2803.852.443 Fax: 02803.656.601
	Tài liệu mở		Email:tthl(a)tnu.edu.vn

Đang tìm Cơ sở dữ liệu bên ngoài...

Đang tìm kiếm cho
trongscope:(ELIBLRC),scope:(SFX),scope:(ILIB),scope:("TNU"),primo_central_multiple_fe
Xem ngay kết quả tìm kiếm truy xuất đầu tiên