Relating Z and First−order logic

Bibliografiska uppgifter
Huvudupphovsman: Martin, A
Materialtyp: Journal article
Publicerad: 2000
Search Result 1

Relating Z and first-order logic av Martin, A

Publicerad 2000
Journal article
Search Result 2

Relating Z and first−order logic av Martin, A

Publicerad 1999
Conference item