Andrzej Biela

Available identifiers

zbMath Open biela.andrzejMaRDI QIDQ1092654

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2757280	2001-11-26	Paper
RETRPROV. A system that looks for axioms	1997-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4884581	1996-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4318615	1995-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q4271916	1993-12-12	Paper
Program-substitution and admissibility of rules in algorithmic logic	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3216134	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3322076	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3674615	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3709842	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3709843	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3659757	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3905258	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3916561	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3944576	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4182718	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4075437	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4055954	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4774012	1974-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andrzej Biela