| bibtype |
A -
Abstract
|
| ARLID |
0444146 |
| utime |
20240103210103.5 |
| mtime |
20150521235959.9 |
| title
(primary) (eng) |
Beyond Finitarity in Abstract Algebraic Logic II. From Theory to Applications |
| mrcb200-f |
aut. Petr Cintula, Carles Noguera |
| specification |
|
| serial |
| ARLID |
cav_un_epca*0444144 |
| ISBN |
978-83-940690-0-1 |
| title
|
XX Conference Applications of Logic in Philosophy and the Foundations of Mathematics |
| page_num |
11-12 |
| publisher |
| place |
Wroclaw |
| name |
University of Wroclav |
| year |
2015 |
|
| editor |
| name1 |
Siemienczuk |
| name2 |
K. |
|
| editor |
|
| editor |
|
|
| author
(primary) |
| ARLID |
cav_un_auth*0100737 |
| name1 |
Cintula |
| name2 |
Petr |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept (eng) |
Department of Theoretical Computer Science |
| institution |
UIVT-O |
| full_dept |
Department of Theoretical Computer Science |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0293476 |
| name1 |
Noguera |
| name2 |
Carles |
| full_dept (cz) |
Matematická teorie rozhodování |
| full_dept |
Department of Decision Making Theory |
| department (cz) |
MTR |
| department |
MTR |
| institution |
UTIA-B |
| full_dept |
Department of Decision Making Theory |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| cas_special |
| action |
| ARLID |
cav_un_auth*0316925 |
| name |
Applications of Logic in Philosophy and the Foundations of Mathematics /20./ |
| place |
Szklarska Poreba |
| dates |
04.05.2015-08.05.2015 |
| country |
PL |
|
| reportyear |
2016 |
| mrcbC52 |
4 O 4o 20231122140950.9 |
| inst_support |
RVO:67985807 |
| inst_support |
RVO:67985556 |
| permalink |
http://hdl.handle.net/11104/0246722 |
| confidential |
S |
| arlyear |
2015 |
| mrcbTft |
\nSoubory v repozitáři: a0444146.pdf |
| mrcbU63 |
cav_un_epca*0444144 XX Conference Applications of Logic in Philosophy and the Foundations of Mathematics 978-83-940690-0-1 11 12 Wroclaw University of Wroclav 2015 |
| mrcbU67 |
Siemienczuk K. 340 |
| mrcbU67 |
Skowron B 340 |
| mrcbU67 |
Selinger M. 340 |
|