Relating Z and First−order logic

Detalhes bibliográficos
Autor principal: Martin, A
Formato: Journal article
Publicado em: 2000
Search Result 1

Relating Z and first-order logic por Martin, A

Publicado em 2000
Journal article
Search Result 2

Relating Z and first−order logic por Martin, A

Publicado em 1999
Conference item