skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index

Solvability = Typability + Inhabitation

Logical methods in computer science, 2021-01, Vol.17, Issue 1 [Peer Reviewed Journal]

EISSN: 1860-5974 ;DOI: 10.23638/LMCS-17(1:7)2021

Full text available

Citations Cited by

Sign in to Post Your Review

Sign in to Add New Tags

Back to results list
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

Searching Remote Databases, Please Wait