Dzieje górnictwa – element europejskiego dziedzictwa kultury, 3 pod red. P.P. Zagożdżona i M. Madziarza, Wrocław 2010 enologia, geologia, winorośl, masyw skalny, mineralność wina Cezary BACHOWSKI *

Source URL: www.historia-gornictwa.pwr.wroc.pl

Bezpieczeństwo danych i aplikacji Cezary Prokopowicz ESP Regional Sales Manager CEE 10 Maj 2016

Source URL: konferencje.alebank.pl

PATETeaching logic using a state-of-the-art proof assistant Cezary Kaliszyk Freek Wiedijk Radboud Universiteit Nijmegen, The Netherlands

Source URL: www.cs.ru.nl

CTP-based programming languages ? Considerations about an experimental design Florian Haftmann Cezary Kaliszyk

Source URL: dream.inf.ed.ac.uk

• Theoretical computer science
• Automated theorem proving
• Logic in computer science
• Proof assistants
• Formal methods
• Isabelle
• Type theory
• HOL
• Automated reasoning
• Computer algebra system
• Vienna Development Method
• Software development

Deduction using the ProofWeb system Cezary Kaliszyk Femke van Raamsdonk Freek Wiedijk Hanno Wupper Maxim Hendriks

Source URL: www.cs.ru.nl

Developing Corpus-based Translation Methods between Informal and Formal Mathematics Cezary Kaliszyk (supported by FWF grant P26201), Josef Urban, Jiˇr´ı Vyskoˇcil, Herman Geuvers Goal

Source URL: mws.cs.ru.nl

• Mathematics
• Automated theorem proving
• Theoretical computer science
• Logic
• Formal methods
• Artificial intelligence
• Automated reasoning
• Reasoning
• Mathematical proof
• Theorem
• Mizar
• Parsing

Simpler and More Efficient Rank Estimation for Side-Channel Security Assessment Cezary Glowacz1 , Vincent Grosso2 , Romain Poussier2 , Joachim Sch¨ uth1 , Fran¸cois-Xavier Standaert2 . 1

Source URL: uclouvain.be

Simpler and More Efficient Rank Estimation for Side-Channel Security Assessment Cezary Glowacz1 , Vincent Grosso2 , Romain Poussier2 , Joachim Sch¨ uth1 , Fran¸cois-Xavier Standaert2 . 1

Source URL: www.uclouvain.be

A suite of APIs for the management of Research Objects Raúl Palma1 , Piotr Hołubowicz1∗ , Kevin Page2 , Stian Soiland-Reyes3 , Graham Klyne2 , and Cezary Mazurek1 1 Poznan Supercomputing and Networking Center, Pozna

Source URL: ceur-ws.org

CZYNNIKI ALERGIZUJĄCE W ŚRODOWISKU PRACY Redakcja: Prof. dr hab. med. Cezary Pałczyński Recenzent: Prof. dr hab. med. Anna Skoczyńska

Source URL: eu.cmkp.edu.pl