The Logical Basic for Computer Programming. Volume 2:Deductive Systeme /

Enregistré dans:
Détails bibliographiques
Auteurs principaux: Manna, Zohar (Auteur), Waldinger, Richard (Auteur)
Format: Livre
Langue:anglais
Publié: Reading : Addison-Wesley, 1990
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!