skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Dạng tìm kiếm Chỉ mục
Lọc theo: Cơ sở dữ liệu: Cambridge Open Access Journals xóa Chủ đề: Logic xóa
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
Material Type:
Bài báo 		Thêm vào Góc nghiên cứu

Polytool: Polynomial interpretations as a basis for termination analysis of logic programs

Theory and practice of logic programming, 2011-01, Vol.11 (1), p.33-63 [Tạp chí có phản biện]

Copyright © Cambridge University Press 2010 ;ISSN: 1471-0684 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025

Tài liệu số/Tài liệu điện tử

Trích dẫn Trích dẫn bởi

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

Mở rộng kết quả tìm kiếm

  1.   

Lọc kết quả

Cơ sở dữ liệu 

  1. Cambridge Wholly Gold Open Access Journals  (1)
  2. ProQuest Central  (1)
  3. Lựa chọn khác open sub menu
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY (84-028) 37 755 057 Feedback
19 Nguyen Huu Tho St. Dist.7, HCM thuvien@tdtu.edu.vn

Copyright © 2017 INSPIRE LIBRARY - TON DUC THANG UNIVERSITY

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