CONFERENCE PROCEEDINGS
Advanced Search
Piotr Orzeszek
at Cardinal Stefan Wyszynski Univ in Warsaw
SPIE Involvement:
Author
Publications (1)
Proceedings Article | 15 October 2012 Paper
Inconsistency and its automated proving
Proceedings Volume 8454, 84542B (2012) https://doi.org/10.1117/12.2000248
KEYWORDS: Logic, Physics, Information technology, Mathematics, Calculus, Calculi, Software development, Information theory, Eye, Photonics
SIGN IN TO:
  • View contact details
UPDATE YOUR PROFILE
Is this your profile? Update it now.
Sign into your SPIE.org account
Don’t have a profile and want one?
Create an account on SPIE.org
Advertisement
Advertisement
Back to Top