|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Roussanka LoukanovaPublisher: Springer Nature Switzerland AG Imprint: Springer Nature Switzerland AG Edition: 1st ed. 2022 Volume: 999 Weight: 0.366kg ISBN: 9783030901370ISBN 10: 3030901378 Pages: 119 Publication Date: 02 November 2021 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsDecidable Fragments of Calculi Used in CatLog.- Interactive Theorem Proving for Logic and Information.- A Valence Catalogue for Norwegian.- Arabic Computational Linguistics: Potential, Pitfalls and Challenges.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |