Author books / Книги автора Michael J. O'Donnell » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Michael J. O'Donnell

book Equational Logic as a Programming Language (Foundations of Computing)

Equational Logic as a Programming Language (Foundations of Computing)

djvu

Author: Michael J. O'Donnell
Language: English
Year: 1985

00

01.03.2024

0

0

book Computing in systems described by equations

Computing in systems described by equations

pdf

Author: Michael J. O'Donnell (eds.)
Language: English
Year: 1977

00

27.01.2024

0

0

book Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings

Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings

djvu

Author: Michael J. O'Donnell (auth.) Pierre Lescanne (eds.)
Language: English
Year: 1987

00

27.01.2024

0

0

book Constructivity in Computer Science: Summer Symposium San Antonio, TX, June 19–22, 1991 Proceeding

Constructivity in Computer Science: Summer Symposium San Antonio, TX, June 19–22, 1991 Proceeding

djvu

Author: Stuart A. Kurtz John C. Mitchell (auth.) J. Paul Myers Jr. Michael J. O'Donnell (eds.)
Language: English
Year: 1992

00

27.01.2024

0

0

book Computing in systems described by equations

Computing in systems described by equations

pdf

Author: Michael J. O'Donnell (eds.)
Language: English
Year: 1977

00

26.01.2024

0

0

book Computing in systems described by equations

Computing in systems described by equations

djvu

Author: Michael J. O'Donnell (eds.)
Language: English
Year: 1977

00

26.01.2024

0

0

book Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings

Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings

djvu

Author: Michael J. O'Donnell (auth.) Pierre Lescanne (eds.)
Language: English
Year: 1987

00

26.01.2024

0

0