Walicki, Michał.
Walicki, Michał, 1964-....
Walicki, Michał, fl. 2012
Walicki, Micha¿
VIAF ID: 245568395 ( Personal )
Permalink: http://viaf.org/viaf/245568395
Preferred Forms
-
-
- 100 1 _ ‡a Walicki, Michał
-
-
- 100 1 _ ‡a Walicki, Michał
- 100 1 _ ‡a Walicki, Michał ‡d fl. 2012
-
-
- 100 1 _ ‡a Walicki, Michał, ‡d 1964-....
-
-
4xx's: Alternate Name Forms (2)
5xx's: Related Names (2)
- 510 2 _ ‡a Universitetet i Bergen
- 510 2 _ ‡a Universitetet i Bergen ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Algebraic approaches to nondeterminism : an overview | |
Calculii for algebraic specifications of nondeterminism : three completeness results | |
Communication algebras | |
Drzwi gnieznienskie : Praca zbiorowa | |
Dzieje sztuki polskiej | |
Hans Memling : Sa̧d ostateczny | |
The institution of multialgebras | |
Intelligent tutoring systems | |
Introduction to mathematical logic | |
Lubienieccy | |
Malarstwo monumentalne w Polsce średniowiecznej | |
Malarstwo polskie XV wieku | |
Modeling partiality by nondeterminism : from abstract specifications to flexible error handling | |
Only explicitly knowing | |
La peinture d'autels et de retables en Pologne au temps des Jagellons | |
Poland : painting of the fifteenth century | |
Polen : Malerei des 15. Jahrhunderts | |
Pologne : la peinture du XVe siècle | |
Polonia : la pittura del XV secolo | |
Quantifier-free logic for multialgebraic theories | |
Reasoning and rewriting with set-relations | |
Renesansowy polityk wienawski | |
Rzeźba architektoniczna w Polsce wieków średnich | |
Singular and plural nondeterministic parameters : multialgebras, power algebra and complete reasoning systems | |
Sprawa inwentaryzacji zabytków w dobie Królestwa Polskiego, 1827-1862 | |
Structured specifications and implementation of nondeterministic data types | |
Studia renesansowe | |
Vermeer |