Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Jura
  5. Artificial Intelligence and Symbolic Computation

Artificial Intelligence and Symbolic Computation - Dongming Wang - Bog

af Dongming Wang, Tetsuo Ida, Jaques Calmet

indgår i Lecture Notes in Computer Science serien

indgår i Lecture Notes in Artificial Intelligence serien

Artificial Intelligence and Symbolic Computation af Dongming Wang
Bag om Artificial Intelligence and Symbolic Computation

Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006. The book presents 18 revised full papers together with 4 invited papers, organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management. Coverage includes mathematical foundations, implementations, and applications in industry and academia.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540397281
  • Indbinding:
  • Paperback
  • Sideantal:
  • 288
  • Udgivet:
  • 13. September 2006
  • Størrelse:
  • 155x16x235 mm.
  • Vægt:
  • 441 g.
  • 2-3 uger.
  • 10. Juli 2024
På lager

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Dongming Wang

Vis alle bøger af Dongming Wang

Beskrivelse af Artificial Intelligence and Symbolic Computation

Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006.

The book presents 18 revised full papers together with 4 invited papers, organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management. Coverage includes mathematical foundations, implementations, and applications in industry and academia.

Brugerbedømmelser af Artificial Intelligence and Symbolic Computation



Andre købte også..
Find lignende bøger
Bogen Artificial Intelligence and Symbolic Computation findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.