Group Theory in Solid State Physics and Photonics - Problem ...
Wolfram Hergert & R. Matthias Geilhufe
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg ...
Dieter Hutter
Natural Language Processing and Information Systems: 16th International ...
Rafael Munoz & Elisabeth Metais & Andres Montoyo
Handbook of Philosophical Logic - Volume 9
Dov M. Gabbay & Franz Guenthner
Fundamentals of Freshman Mathematics
Carl Barnett Allendoerfer
Military Applications of Natural Language Processing and Software
James A. Rodger & Tamara V. Trank & Parag C. Pendharkar