[IEEE Comput. Soc. Press [1988] Proceedings. Third Annual...

  • Main
  • [IEEE Comput. Soc. Press [1988]...

[IEEE Comput. Soc. Press [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Edinburgh, UK (5-8 July 1988)] [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Proving termination properties of Prolog programs: a semantic approach

Baudinet, M.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
1988
DOI:
10.1109/lics.1988.5131
File:
PDF, 924 KB
1988
Conversion to is in progress
Conversion to is failed