polski

Object's details: Logical Methods in Computer Science

tile.noImage
Provider:Jagiellońska Biblioteka Cyfrowa

Description

Similar objects

tile.noImage
Logical Methods in Computer Science
Date:2018.12.31 | 2005
Type:sound
Can I use it?:seek permission
tile.noImage
Studia Informatica : systemy i technologie informacyjne
Date:2018.12.31 | 2003
Type:sound
Can I use it?:seek permission
tile.noImage
Towards standard environments for formalizing mathematics
Creator:Grabowski, Adam (matematyk)
Date:2014
Type:other
tile.noImage
On logical and semantic investigations in Kyiv School of Automated Reasoning
Creator:Lâlec'kij, Oleksandr Vadimovič (1947- )
Date:2014
Type:other
tile.noImage
Metodyka integracji technologii semantycznych wspomagająca realizację procesów traceability
Creator:Kawecki, Tomasz
Type:text
Can I use it?:seek permission
tile.noImage
Multi-conference in computer science and engineering
Date:2018.12.31 | 2007
Type:sound
Can I use it?:seek permission
tile.noImage
International Computer Science Institute
Date:2018.12.31 | 2010
Type:sound
Can I use it?:seek permission

FBC TeNe Project

Project co-financed by European Funds under the Operational Program Digital Poland for 2014-2020 (project no. POPC.02.04.00-00-0012 / 20-00)

More information about the project can be found at: https://tene.fbc.pionier.net.pl

European Funds. Digital Poland
Republic of Poland
Digital Libraries Federation
European Union - European Regional Development Fund

Copyright 2022 - The FBC was created by PSNC

We use files, through the cookie quality improvement layer of our website.For more information, please read the document Privacy Policy