Search Results - "Automatic Programming|Program verication General Terms"
-
1
Authors: et al.
Contributors: et al.
Subject Terms: Deduction and Theorem Proving|Logic programming, I.2.2 [Articial Intelligence, Automatic Programming|Program verication General Terms, Languages, Verication, Termination Additional Key Words and Phrases, Logic programs, dynamic scheduling, simply moded, termination
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.8239; http://www.dsi.unive.it/%7Esrossi/Papers/tocl_input.ps.gz
Nájsť tento článok vo Web of Science