Back to Results
First PageMeta Content
Oxford University Computing Laboratory / Z notation / Formal methods / Model theory / Functions and mappings / First-order logic / Function / S / Lambda calculus / Mathematical logic / Mathematics / Logic


The Z/EVES Reference Manual (for Version 1.5) TR03d Irwin Meisels and Mark Saaltink Release date: December 1995 Latest revision date: September 1997
Add to Reading List

Document Date: 2009-03-31 21:35:27

Open Document

File Size: 295,33 KB

Share Result on Facebook

City

Ottawa / /

OperatingSystem

Unix / Microsoft Windows / Unix system / /

Organization

Z/EVES Project TR-97-5493-03d Chapter / /

Person

Irwin Meisels / /

Position

Emacs editor / Forward / /

ProgrammingLanguage

LATEX / /

ProvinceOrState

Ontario / /

Technology

Unix system / Unix / GUI / /

SocialTag