Počet záznamů: 1
Discretely ordered modules as a first-order extension of the cutting planes proof system
- 1.0174681 - MU-W 990015 RIV US eng J - Článek v odborném periodiku
Krajíček, Jan
Discretely ordered modules as a first-order extension of the cutting planes proof system.
Journal of Symbolic Logic. Roč. 63, č. 4 (1998), s. 1582-1596. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA AV ČR IAA1019602
Grant ostatní: CZ-US Czechoslovak Science and Technology Program(CZ) 93025
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.295, rok: 1998
Trvalý link: http://hdl.handle.net/11104/0071683
Název souboru Staženo Velikost Komentář Verze Přístup Krajicek.pdf 1 1 MB Vydavatelský postprint vyžádat
Počet záznamů: 1