|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Roussanka LoukanovaPublisher: Springer Nature Switzerland AG Imprint: Springer Nature Switzerland AG Edition: 1st ed. 2022 Volume: 999 Weight: 0.209kg ISBN: 9783030901400ISBN 10: 3030901408 Pages: 119 Publication Date: 03 November 2022 Audience: Professional and scholarly , Professional & Vocational Format: Paperback 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 |