【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Rezus, A.

ID:DA01127619

Search authors sharing the same name

Search Results1-2 of 2

1

Abstract automath

A. Rezus

Mathematisch Centrum 1983 Mathematical Centre tracts 160

Available at 10 libraries
2

A bibliography of lambda-calculi, combinatory logics and related topics

A. Rezus

Mathematisch Centrum 1982

Available at 3 libraries

Search this author

Related Authors