Relating Z and First−order logic

Détails bibliographiques
Auteur principal: Martin, A
Format: Journal article
Publié: 2000
Search Result 1

Relating Z and first-order logic par Martin, A

Publié 2000
Journal article
Search Result 2

Relating Z and first−order logic par Martin, A

Publié 1999
Conference item