international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers Barendregt, Henk ed. Nipkow, Tobias ed. International Workshop TYPES '93 (1993 : Nijmegen, The Netherlands) text conference publication gw Berlin Springer-Verlag 1994 1986 monographic eng 383 p. Henk Barendregt and Tobias Nipkow (eds.) Automatic theorem proving Congresses Computer programs Congresses QA76.9 A96 T97 3540580859 080624 20260819085404.0