Completeness Confluence and Related Properties of Clause Graph Resolution - Couverture souple

Eisinger, N.

 
9780273088400: Completeness Confluence and Related Properties of Clause Graph Resolution
Couverture souple
ISBN 10 : 0273088408 ISBN 13 : 9780273088400
Editeur : Financial Times Prentice Hall, 1991
Éditeur
Financial Times Prentice Hall
Date d'édition
1991
Langue
anglais
ISBN 10 
0273088408
ISBN 13 
9780273088400
Reliure
Broché
Nombre de pages
170
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9781558601956: Completeness, Confluence, and Related Properties of Clause Graph Resolution

Edition présentée

ISBN 10 :  1558601953 ISBN 13 :  9781558601956
Editeur : Morgan Kaufmann Publishers In, 1994
Couverture souple