Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
Automated Reasoning - Bog
- Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
- Indbinding:
- Paperback
- Sideantal:
- 688
- Udgivet:
- 3. august 2006
- Udgave:
- 2006
- Størrelse:
- 152x229x35 mm.
- Vægt:
- 2140 g.
- 8-11 hverdage.
- 11. december 2024
På lager
Forlænget returret til d. 31. januar 2025
Normalpris
-
BLACK WEEK
Medlemspris
Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.
Herefter fra 79 kr./md. Ingen binding.
Beskrivelse af Automated Reasoning
The book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers and a summary of a systems competition. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.
Brugerbedømmelser af Automated Reasoning
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Automated Reasoning findes i følgende kategorier:
Du kan altid afmelde dig igen.
© 2024 Tales.dk Esromgade 15, 3. | 2200 København N | Danmark | CVR: DK43351621
