Arhivă

Revista Română de Informatică și Automatică / Vol. 2, Nr. 2, 1992


Graph-Based Proof Procedures for Horn Clauses (Proceduri de testare bazate pe grafuri pentru clauze Horn)

Horia DRĂGAN

Rezumat:

Recenzie a lucrării Graph-Based Proof Procedures for Horn Clauses (Proceduri de testare bazate pe grafuri pentru clauze Horn), de Stan Roatz (Editura Birkhäuser, Boston, 1990)

Cuvinte cheie:

Vizualizează articolul complet:

CITAREA ACESTUI ARTICOL SUNT URMĂTOARELE:
Horia DRĂGAN, „Graph-Based Proof Procedures for Horn Clauses (Proceduri de testare bazate pe grafuri pentru clauze Horn)”, Revista Română de Informatică și Automatică, ISSN 1220-1758, vol. 2(2), pp. 77, 1992.