De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
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

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.
  • 8-11 hverdage.
  • 12. december 2024
På lager
Forlænget returret til d. 31. januar 2025

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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: