ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Sorting

Electronic Resource

How to write a long formula (1994)

Lamport, Leslie

Springer

Formal aspects of computing 6 (1994), S. 580-584

add to mindlist on the mindlist

Details

ISSN: 1433-299X

Keywords: Mathematical notation

Source: Springer Online Journal Archives 1860-2000

Topics: Computer Science

Notes: Abstract Standard mathematical notation works well for short formulas, but not for the longer ones often written by computer scientists. Notations are proposed to make one or two-page formulas easier to read and reason about.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1007/BF01211870

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hit 1 - 1 | 1 hit