Schubert, Aleksy.
Aleksy Schubert Polish computer scientist, poet and translator
Schubert, A.A. (Aleksy), 1973-
VIAF ID: 101911115 ( Personal )
Permalink: http://viaf.org/viaf/101911115
Preferred Forms
4xx's: Alternate Name Forms (4)
5xx's: Related Names (11)
- 500 0 _ ‡a Alx z Poewiki
- 500 0 _ ‡a Alx z Poewiki.
- 500 1 _ ‡a Comer, Douglas
- 500 1 _ ‡a Cox, James ‡d 1961- )
- 500 1 _ ‡a Goodheart, Berny
- 500 1 _ ‡a Grudziński, Grzegorz
- 500 1 _ ‡a Leszczyński, Sławomir
- 500 1 _ ‡a Michalewicz, Zbigniew
- 500 1 _ ‡a Schubert, Joanna
- 500 1 _ ‡a Stevens, David L. ‡d 1962- )
- 500 1 _ ‡a Weissdorner, Hermann ‡d 1937- )
Works
Title | Sources |
---|---|
Algorytmy poprawy czytelności formalnych rozumowań zapisanych w systemie naturalnej dedukcji | |
Bedauerlicherweise | |
Computer networks and internets | |
Computers Ltd. | |
The EML Kit : version 1 | |
Formalizacja naiwnej teorii typów | |
A formalization of the Naive type theory | |
How to solve it: modern heuristics | |
Internetworking with TCP/IP | |
Jak to rozwiązać czyli nowoczesna heurystyka | |
Kocioł maltański | |
Komputery - spółka z o.o. : czego komputery naprawdę nie umieją robić | |
Kto? / Alx z Poewiki. - Warszawa, 2014. | |
Linear interpolation for the higher order matching problem | |
Magic garden explained | |
Second-order unification and type inference for Church-style polymorphism | |
Sekrety magicznego ogrodu : UNIX system V wersja 4 od środka : podręcznik | |
Sieci komputerowe i intersieci | |
Source code analysis techniques in property verification of real Java code | |
Zastosowanie unifikacji do problemów wyprowadzania typów |