• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% studentrabatt med kod TERM26

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Psykologi och pedagogik
      2. Pedagogik
      3. Material och digital teknik i undervisningen

      Intelligent Computer Mathematics

      18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings

      AvPeter Koepke,Valeria de Paiva

      E-bok
      Engelska, 2025

      1 679 kr

      Läs direkt i Bokus Reader – eller ladda ned till din enhet

      Beskrivning

      This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 6–11, 2025.The 24 full papers were presented in this volume were carefully reviewed and selected from 34  submissions. They were organized in the following topical sections as follows : Automated Reasoning; Formal Libraries; Logical and Linguistic Foundations; Mathematical Knowledge Management; Neural Language Models; and Proof Assistants and Formalizations.

      Produktinformation

      • Utgivningsdatum:2025-10-07
      • Språk:Engelska
      • Filformat:EPUB
      • Kopieringsskydd:LCP
      • ISBN:9783032070210
      • Förlag:Springer Nature Switzerland

      Utforska kategorier

      • Material och digital teknik i undervisningen inom Psykologi och pedagogik
      • Tillämpad datateknik inom Data och IT
      • Systemvetenskap och AI inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Valeria de Paiva, Peter Koepke - Intelligent Computer Mathematics, Häftad

      Intelligent Computer Mathematics

      Valeria de Paiva, Peter Koepke

      Häftad, 2025

      1 371 kr

      Valeria de Paiva, Edward Haeusler, Luiz Carlos Pereira - Advances in Natural Deduction, E-bok

      Advances in Natural Deduction

      Valeria de Paiva, Edward Haeusler, Luiz Carlos Pereira

      E-bok
      2014

      1 733 kr

      Ted Briscoe, Ann Copestake, Valeria de Paiva - Inheritance, Defaults and the Lexicon, Inbunden

      Inheritance, Defaults and the Lexicon

      Ted Briscoe, Ann Copestake, Valeria de Paiva

      Inbunden, 1994

      1 458 kr

      Ted Briscoe, Ann Copestake, Valeria de Paiva - Inheritance, Defaults and the Lexicon, Häftad

      Inheritance, Defaults and the Lexicon

      Ted Briscoe, Ann Copestake, Valeria de Paiva

      Häftad, 2006

      621 kr

      Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira - Logic, Language, Information, and Computation, Häftad

      Logic, Language, Information, and Computation

      Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira

      Häftad, 2015

      454 kr

      Tracy Holloway King, Valeria de Paiva - From Quirky Case to Representing Space, Häftad

      From Quirky Case to Representing Space

      Tracy Holloway King, Valeria de Paiva

      Häftad, 2013

      224 kr

      Luiz Carlos Pereira, Edward Haeusler, Valeria de Paiva - Advances in Natural Deduction, Häftad

      Advances in Natural Deduction

      Luiz Carlos Pereira, Edward Haeusler, Valeria de Paiva

      Häftad, 2016

      1 417 kr

      Luiz Carlos Pereira, Edward Haeusler, Valeria de Paiva - Advances in Natural Deduction, Inbunden

      Advances in Natural Deduction

      Luiz Carlos Pereira, Edward Haeusler, Valeria de Paiva

      Inbunden, 2014

      1 417 kr

      Anjolina G. de Oliveira, Daniel Leivant, Lawrence S. Moss, Ruy de Queiroz, Valeria de Paiva - Logic, Language, Information, and Computation, E-bok

      Logic, Language, Information, and Computation

      Anjolina G. de Oliveira, Daniel Leivant, Lawrence S. Moss, Ruy de Queiroz, Valeria de Paiva

      E-bok
      2015

      569 kr

      Annie Zaenen, Cleo Condoravdi, Valeria de Paiva - Linguistic Issues in Language Technology Vol 9, Häftad

      Linguistic Issues in Language Technology Vol 9

      Annie Zaenen, Cleo Condoravdi, Valeria de Paiva

      Häftad, 2015

      241 kr