Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, Fra

Automated Reasoning (Paperback) (UK IMPORT)

Application of Artificial Intelligence in Process Control : Lecture Notes Era...

Lecture Notes in Artificial Intelligence 1555, Müller, Singh, Rao, Intelligent..

Artificial Intelligence and Image Analysis (Lecture Notes in Computer Scienc...

Lecture Notes in Computer Science Ser.: Automated Reasoning : 6th...

Lecture Notes in Networks and Systems Ser.: Artificial Intelligence: Theory and