VIAF

Virtual International Authority File

Search

Trybulec, Andrzej (1941-2013). NUKAT Center of Warsaw University Library

Trybulec, Andrzej. Library and Archives Canada Library of Congress/NACO BIBSYS National Library of the Netherlands National Library of Poland Sudoc [ABES], France National Library of Israel

Andrzej Trybulec ISNI

Andrzej Trybulec mathématicien polonais Wikidata

Trybulec, Andrzej, 1941- National Library of the Czech Republic

VIAF ID: 21658345 (Personal)

Permalink: //viaf.org/viaf/21658345

ISNI: 0000  0001  1791  8254 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (6)

Open Section Close SectionWorks

Title Sources
The Cantor set National Library of Poland
Categories without uniqueness of "cod" and "dom" National Library of Poland
A collection of TEXed Mizar abstracts Library and Archives Canada
Defining by structural induction in the positive propositional language NUKAT Center of Warsaw University Library
Enumerated sets NUKAT Center of Warsaw University Library
Euclid's algorithm NUKAT Center of Warsaw University Library
The evaluation of multivariate polynomials NUKAT Center of Warsaw University Library
Examples of category structures NUKAT Center of Warsaw University Library
An extension of SCM NUKAT Center of Warsaw University Library
The Fashoda meet theorem for continuous mappings NUKAT Center of Warsaw University Library
Finite Join and Finite Meet and Dual Lattices NUKAT Center of Warsaw University Library
Fixpoints in complete lattices NUKAT Center of Warsaw University Library
From insight to proof : festschrift in honour of Andrzej Trybulec / guest ed. Roman Matuszewski, Anna Zalewska. - Białystok, 2007. Library of Congress/NACO NUKAT Center of Warsaw University Library
Functors for alternative categories NUKAT Center of Warsaw University Library
The fundamental logic structure in quantum mechanics NUKAT Center of Warsaw University Library
Hahn-Banach theorem NUKAT Center of Warsaw University Library
Introducing spans NUKAT Center of Warsaw University Library
Introduction to circuits, II NUKAT Center of Warsaw University Library
Isomorphisms of categories NUKAT Center of Warsaw University Library
Język informacyjno-logiczny Mizar-MSE National Library of Poland NUKAT Center of Warsaw University Library
Kuratowski - Zorn Lemma NUKAT Center of Warsaw University Library
Laplace expansion National Library of Poland NUKAT Center of Warsaw University Library
Lattice of Subgroups of a Group. Frattini Subgroup NUKAT Center of Warsaw University Library
Lebesgue's covering lemma, uniform continuity and segmentation of arcs NUKAT Center of Warsaw University Library
Left and right component of the complement of a special closed curve NUKAT Center of Warsaw University Library
Many-sorted sets NUKAT Center of Warsaw University Library
Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings National Library of the Netherlands Library of Congress/NACO Sudoc [ABES], France National Library of Israel BIBSYS
Memory handling for SCMFSA NUKAT Center of Warsaw University Library
Miscellaneous facts about functions NUKAT Center of Warsaw University Library
The MIZAR logic information language NUKAT Center of Warsaw University Library
MIZAR syntax NUKAT Center of Warsaw University Library
MKM 2004 National Library of the Netherlands Sudoc [ABES], France
Moore-Smith convergence NUKAT Center of Warsaw University Library
More on segments on a Go-board NUKAT Center of Warsaw University Library
More on the external approximation of a continuum NUKAT Center of Warsaw University Library
Natural transformations. Discrete categorie NUKAT Center of Warsaw University Library
Non-contiguous Substrings and One-to-one Finite Sequences NUKAT Center of Warsaw University Library
On a mathematical model of programs NUKAT Center of Warsaw University Library
On same equivalents of well-foundedness NUKAT Center of Warsaw University Library
On the composition of macro instructions. NUKAT Center of Warsaw University Library
On the decomposition of a simple closed curve into two arcs NUKAT Center of Warsaw University Library
On the geometry of a Go-board NUKAT Center of Warsaw University Library
On the minimal distance between sets in Euclidean space NUKAT Center of Warsaw University Library
On the order on a special polygon NUKAT Center of Warsaw University Library
On the rectangular finite sequences of the points of the plane NUKAT Center of Warsaw University Library
On the sets inhabited by numbers NUKAT Center of Warsaw University Library
Partially Ordered Sets NUKAT Center of Warsaw University Library
Pewien algorytm konstruowania klasyfikacji w przestrzeniach metrycznych / Roman Matuszewski, Andrzej Trybulec. NUKAT Center of Warsaw University Library
Pigeon Hole Principle NUKAT Center of Warsaw University Library
Podziały słownika w językach z paradygmatami National Library of Poland NUKAT Center of Warsaw University Library
Preliminaries to circuits. National Library of Poland NUKAT Center of Warsaw University Library
Preparing the internal approximations of simple closed curves NUKAT Center of Warsaw University Library
Propositional Calculus NUKAT Center of Warsaw University Library
Relocability for SCMFSA NUKAT Center of Warsaw University Library
Rotating and reversing NUKAT Center of Warsaw University Library
Rozpoznawanie stanów pamięci przez procesor / Andrzej Trybulec. - Warszawa, 1973. National Library of Poland NUKAT Center of Warsaw University Library
A Scheme for extensions of homomorphisms of manysorted algebras National Library of Poland NUKAT Center of Warsaw University Library
The SCMFSA computer NUKAT Center of Warsaw University Library
Scott topology NUKAT Center of Warsaw University Library
Semilattice Operations on Finite Subsets / Andrzej Trybulec. NUKAT Center of Warsaw University Library
Sequences of metric spaces and an abstract intermediate value theorem NUKAT Center of Warsaw University Library
Similarity of formulae NUKAT Center of Warsaw University Library
Some lemmas for the Jordan curve theorem NUKAT Center of Warsaw University Library
Some properties of special polygonal curves NUKAT Center of Warsaw University Library
Some remarks on the simple concrete model of computer NUKAT Center of Warsaw University Library
Some topological properties of cells in R2 NUKAT Center of Warsaw University Library
Standard ordering of instruction locations NUKAT Center of Warsaw University Library
Subspaces and Cosets of Subspaces in Vector Space NUKAT Center of Warsaw University Library
Tarski Grothendieck Set Theory NUKAT Center of Warsaw University Library
Tuples, Projections and Cartesian Products NUKAT Center of Warsaw University Library
Vectors in Real Linear Space NUKAT Center of Warsaw University Library

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section History of VIAF ID:21658345 (13)