skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

Kết quả 1 - 20 của 241  trong Tất cả tài nguyên

Kết quả 1 2 3 4 5 next page
Chỉ hiển thị
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

The electrostatic field of a point charge inside a cylinder, in connection with wave guide theory

Bouwkamp, C.J. ; Bruijn, de, N.G.

Journal of Applied Physics, 1947, Vol.18(6), pp.562-577 [Tạp chí có phản biện]

ISSN: ; ISSN: 0021-8979

Toàn văn sẵn có

2
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Highlighting the lambda-free fragment of Automath

Bruijn, de, N.G. ; Melham, T.F. ; Camilleri, J.; Department of Mathematics and Computer Science ; VF-programma Discrete Structuren THE.WSK.203.85.25 TUE.WSK.303.90.25

Higher Order Logic Theorem Proving and Its Applications (Proceedings of the 7th International Workshop, Valletta, Malta, September 19-22, 1994), 1994, Issue Proceedings of the 7th International Workshop, Valletta, Malta, September 19-22, 1994, pp.81-96 [Tạp chí có phản biện]

ISBN: 3-540-58450-1

Toàn văn sẵn có

3
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

The use of justification systems for integrated semantics

Bruijn, de, N.G. ; Martin-Löf, P. ; Mints, G.; Department of Mathematics and Computer Science

Proceedings of the International Conference on Computer Logic (COLOG-88, Tallinn, UUSR, December 1988), 1990, Issue COLOG-88, Tallinn, UUSR, December 1988, pp.9-24 [Tạp chí có phản biện]

ISBN: 3-540-52335-9

Toàn văn sẵn có

4
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Dualization of multigrids

Bruijn, de, N.G.

Journal de Physique. Colloque, 1986, Vol.47(C3), pp.C3-9-C3-18

ISSN: ; ISSN: 0449-1947

Toàn văn sẵn có

5
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Wiskundige theorie van quasikristallen

Bruijn, de, N.G.

Verslag van de gewone vergadering der Koninklijke Nederlandse Akademie van Wetenschappen. Afd. Natuurkunde, 1987, Vol.96(1), pp.5-10

ISSN: ; ISSN: 0023-3382

Toàn văn sẵn có

6
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Checking mathematics with computer assistance

Bruijn, de, N.G.; VF-programma Discrete Structuren THE.WSK.203.85.25 TUE.WSK.303.90.25

Notices of the American Mathematical Society, 1991, Vol.38(1), pp.8-15 [Tạp chí có phản biện]

ISSN: ; ISSN: 0002-9920

Toàn văn sẵn có

7
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Additional comments on a problem in concurrent programming control

Bruijn, de, N.G.; Department of Mathematics and Computer Science ; Research 1957/58 - 1978/79

Communications of the ACM, 1967, Vol.10(3), pp.137-138 [Tạp chí có phản biện]

ISSN: ; ISSN: 0001-0782

Toàn văn sẵn có

8
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

The asymptotically periodic behavior of the solutions of some linear functional equations

Bruijn, de, N.G.

American journal of mathematics, 1949, Vol.71(2), pp.313-330 [Tạp chí có phản biện]

ISSN: ; ISSN: 0002-9327

Toàn văn sẵn có

Phiên bản sẵn có
9
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Inequalities concerning polynomials in the complex domain

Bruijn, de, N.G.

Indagationes Mathematicae, 1947, Vol.9(5), pp.1265-1272 [Tạp chí có phản biện]

ISSN: ; ISSN: 0019-3577

Toàn văn sẵn có

10
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Geheugenmodel met bewustzijn : biologische basis van een associatief geheugen

Bruijn, de, N.G.; VF-programma Discrete Structuren THE.WSK.203.85.25 TUE.WSK.303.90.25

Spiegeloog, 1997, Vol.24(234), pp.10-13

ISSN: ; ISSN: 0166-1930

Toàn văn sẵn có

11
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Algebraic theory of Penrose's non-periodic tilings of the plane. I, II : dedicated to G. Pólya

Bruijn, de, N.G.; Department of Mathematics and Computer Science

Indagationes Mathematicae, 1981, Vol.43(1), pp.39-66 [Tạp chí có phản biện]

ISSN: ; ISSN: 0019-3577

Toàn văn sẵn có

12
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Telescopic mappings in typed lambda calculus

Bruijn, de, N.G.; Department of Mathematics and Computer Science ; Discrete Mathematics

Information and Computation, 1991, Vol.91(2), pp.189-204 [Tạp chí có phản biện]

ISSN: ; ISSN: 0890-5401

Toàn văn sẵn có

Phiên bản sẵn có
13
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Can people think?

Bruijn, de, N.G.; Department of Mathematics and Computer Science ; Discrete Algebra and Geometry

Journal of Consciousness Studies, 1996, Vol.3(5-6), pp.425-447 [Tạp chí có phản biện]

ISSN: ; ISSN: 1355-8250

Toàn văn sẵn có

14
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Symmetry and quasisymmetry

Bruijn, de, N.G. ; Wille, R.

Symmetrie in Geistes-und Naturwissenschaft : Hauptvorträge und Diskussionen des Symmetrie Symposiums an der Technischen Hochschule Darmstadt vom 13. bis 17. Juni 1986 in Rahmen des Symmetrieprojektes der Stadt Darmstadt, 1988, pp.215-233

Toàn văn sẵn có

15
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

A theorem on choice functions

Bruijn, de, N.G.

Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen: Series A: Mathematical Sciences, 1957, Vol.60(4), pp.409-411

ISSN: ; ISSN: 0023-3358

Toàn văn sẵn có

16
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Addendum to "A theorem on choice functions"

Bruijn, de, N.G.

Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen: Series A: Mathematical Sciences, 1959, Vol.62(3), pp.urn:issn:0023-3358

ISSN: ; ISSN: 0023-3358

Toàn văn sẵn có

17
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

The difference-differential equation F'(x)=e\sp {ax+\beta}F(x-1), I and II

Bruijn, de, N.G.

Proceedings of the Section of Sciences of the Koninklijke Nederlandse Akademie van Wetenschappen. Series A, mathematical sciences, 1953, Vol.56(5), pp.449-464

Toàn văn sẵn có

18
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Over het aantal oplossingen van het stelsel $x\sb {1\sp 2}+x\sb {2\sp 2}+x\sb {3\sp 2}=n$, $x\sb 1=x\sb 2+x\sb 3=m$

Bruijn, de, N.G.

Nieuw Archief voor Wiskunde, 1943, Vol.serie 2, 22, pp.53-56

ISSN: ; ISSN: 0028-9825

Toàn văn sẵn có

19
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Generalizing Automath by means of a lambda-typed lambda calculus

Bruijn, de, N.G.

ISBN: 0-8247-7746-8

Toàn văn sẵn có

20
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Spelen op een graaf

Bruijn, de, N.G.

ISBN: 90-6196-307-9

Toàn văn sẵn có

Kết quả 1 - 20 của 241  trong Tất cả tài nguyên

Kết quả 1 2 3 4 5 next page

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

Mở rộng kết quả tìm kiếm

  1.   

Chỉ hiển thị

  1. Tạp chí có phản biện (52)

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước1960  (54)
  2. 1960đến1968  (37)
  3. 1969đến1977  (52)
  4. 1978đến1987  (62)
  5. Sau 1987  (36)
  6. Lựa chọn khác open sub menu

Dạng tài nguyên 

  1. Bài báo  (136)
  2. Tài nguyên văn bản  (77)
  3. Book Chapters  (27)
  4. Sách  (1)
  5. Lựa chọn khác open sub menu

Ngôn ngữ 

  1. English  (185)
  2. French  (2)
  3. German  (2)
  4. Dutch  (1)
  5. Lựa chọn khác open sub menu

Đang tìm Cơ sở dữ liệu bên ngoài...