CONFERENCE PROCEEDINGS
Advanced Search
Lukasz Godlewski
SPIE Involvement:
Author
Publications (1)
Proceedings Article | 2 December 2014 Paper
A computer method of finding valuations forcing validity of LC formulae
Łukasz Godlewski, Kordula Świętorzecka, Jan Mulawka
Proceedings Volume 9290, 92902X (2014) https://doi.org/10.1117/12.2075115
KEYWORDS: Logic, Chemical species, Artificial intelligence, Computing systems, Calculus, Chemical elements, Niobium, Evolutionary algorithms, Brain, Complex systems
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