Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings (Lecture Notes in Computer Science (971))

Categories: E-Books & Audio Books

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings (Lecture Notes in Computer Science (971))

416 pages | English | ISBN-10: 3540602755 | ISBN-13: 978-3540602750

https://www.amazon.com/dp/3540602755

PostMan | CLICK TO SEE MY ALL SHARINGS

Medical Imaging and Augmented Reality: 5th International Workshop, MIAR 20 ...

Logic Programming and Nonmonotonic Reasoning: 6th International Conference ...

Logic Programming and Automated Reasoning: 6th International Conference, L ...

High Performance Transaction Systems: 2nd International Workshop, Asilomar ...

Geographic Information Science: 5th International Conference, GIScience 20 ...

Database and Expert Systems Applications: 11th International Conference, D ...

Haptic and Audio Interaction Design: Third International Workshop, HAID 20 ...

Databases in Networked Information Systems: Third International Workshop, ...

Fundamentals of Artificial Intelligence Research: International Workshop F ...

Reconfigurable Computing: Architectures, Tools and Applications: 5th Inter ...

Categories Sitemap

GFXTRA

Top Rated News