Articles liés à Termination Proofs for Logic Programs

Termination Proofs for Logic Programs - Couverture souple

Plumer, Lutz

 
9780387528373: Termination Proofs for Logic Programs

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

Book by Plumer Lutz

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.