Unification in Modal Theorem Proving
Auteur : Xiaolin Zhang
Date de publication : 1990
Éditeur : School of Computer and Information Science, Syracuse University
Nombre de pages : 17
Résumé du livre
Aucun résumé disponible pour ce livre.
Auteur : Xiaolin Zhang
Date de publication : 1990
Éditeur : School of Computer and Information Science, Syracuse University
Nombre de pages : 17
Aucun résumé disponible pour ce livre.