Isabelle / HOL : : A proof assistant for higher-order logic / Tobias Nipknow, Lawrence C. Paulson, Markus Wenzel
Lưu vào:
| Tác giả chính: | , , , , , |
|---|---|
| Định dạng: | |
| Ngôn ngữ: | ||E |
| Thông tin xuất bản: |
Germany :Springer ,
|
| Chủ đề: | |
| Từ khóa: |
Thêm từ khóa bạn đọc
Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!
|