Yazar

Nicolaas Govert de Bruijn

19 cilt bulundu.

Cilt sonuçları

Over modulaire vormen van meer veranderlijken

Nicolaas Govert Bruijn · Yayınevi bilinmiyor

92 sayfa · 1943

Forms (Mathematics).

Automath

Nicolaas Govert Bruijn · Montréal: Les Presses de L'Université de Montréal

136 sayfa · 1973

AUTOMATH (Formal language).

CiltScripta N. G. de Bruijn dedicataNicolaas Govert de Bruijn

Scripta N. G. de Bruijn dedicata

Nicolaas Govert de Bruijn · Yayınevi bilinmiyor

156 sayfa · 1978

Kategori yok

CiltSelecta mathematica IKonrad Jacobs

Selecta mathematica I

Konrad Jacobs · Yayınevi bilinmiyor

149 sayfa · 1969

Kategori yok

CiltN.G. de Bruijn 90 jaarNicolaas Govert de Bruijn

N.G. de Bruijn 90 jaar

Nicolaas Govert de Bruijn · Yayınevi bilinmiyor

Sayfa sayısı yok · 2008

Kategori yok

AUTOMATH (Formal language)The Automath mathematics checking projectN. G. de Bruijn

The Automath mathematics checking project

N. G. de Bruijn · Yayınevi bilinmiyor

11 sayfa · 1974

AUTOMATH (Formal language)

CiltAUT-QE Without Type InclusionNicolaas Govert de Bruijn

AUT-QE Without Type Inclusion

Nicolaas Govert de Bruijn · Yayınevi bilinmiyor

9 sayfa · 1978

Kategori yok

CiltA System for Handling Syntax and Semantics of Computer Programs in Terms of the Mathematical Language AUTOMATHNicolaas Govert de Bruijn

A System for Handling Syntax and Semantics of Computer Programs in Terms of the Mathematical Language AUTOMATH

Nicolaas Govert de Bruijn · Yayınevi bilinmiyor

34 sayfa · 1973

Kategori yok

CiltNotation for ConcatenationNicolaas Govert de Bruijn

Notation for Concatenation

Nicolaas Govert de Bruijn · Yayınevi bilinmiyor

6 sayfa · 1977

Kategori yok

CiltA Note on Weak Diamond PropertiesNicolaas Govert de Bruijn

A Note on Weak Diamond Properties

Nicolaas Govert de Bruijn · Yayınevi bilinmiyor

9 sayfa · 1978

Kategori yok

CiltHet herhalingsmotief in de wiskundeNicolaas Govert Bruijn

Het herhalingsmotief in de wiskunde

Nicolaas Govert Bruijn · Yayınevi bilinmiyor

20 sayfa · 1952

Kategori yok

CiltLambda Calculus with Namefree Formulas Involving Symbols that Represent Reference Transforming MappingsNicolaas Govert de Bruijn

Lambda Calculus with Namefree Formulas Involving Symbols that Represent Reference Transforming Mappings

Nicolaas Govert de Bruijn · Yayınevi bilinmiyor

9 sayfa · 1978

Kategori yok

Lambda calculusA Namefree Lambda Calculus with Facilities for Internal Definition of Expressions and SegmentsNicolaas Govert de Bruijn

A Namefree Lambda Calculus with Facilities for Internal Definition of Expressions and Segments

Nicolaas Govert de Bruijn · Yayınevi bilinmiyor

78 sayfa · 1978

Lambda calculus

CiltSome Auxiliary Operators in AUT-***Nicolaas Govert de Bruijn

Some Auxiliary Operators in AUT-***

Nicolaas Govert de Bruijn · Yayınevi bilinmiyor

5 sayfa · 1977

Kategori yok

Logic, Symbolic and mathematicalExact Finite Models for Minimal Propositional Calculus Over a Finite AlphabetNicolaas Govert de Bruijn

Exact Finite Models for Minimal Propositional Calculus Over a Finite Alphabet

Nicolaas Govert de Bruijn · Yayınevi bilinmiyor

60 sayfa · 1975

Logic, Symbolic and mathematical

CiltDe reeks van taylor en soortgelijke reeksenNicolaas Govert de Bruijn

De reeks van taylor en soortgelijke reeksen

Nicolaas Govert de Bruijn · Yayınevi bilinmiyor

6 sayfa · 1958

Kategori yok

CiltVerallgemeinerte Riemannsche SphärenNicolaas Govert de Bruijn

Verallgemeinerte Riemannsche Sphären

Nicolaas Govert de Bruijn · Yayınevi bilinmiyor

13 sayfa · 1959

Kategori yok

CiltLevensbericht van Hendrik Douwe KloostermanNicolaas Govert de Bruijn, Hendrik Douwe Kloosterman

Levensbericht van Hendrik Douwe Kloosterman

Nicolaas Govert de Bruijn, Hendrik Douwe Kloosterman · Yayınevi bilinmiyor

5 sayfa · 19??

Kategori yok

CiltThe Mathematical Language AutomathN. G. de Bruyn

The Mathematical Language Automath

N. G. de Bruyn · Yayınevi bilinmiyor

33 sayfa · 1968

Kategori yok