Markedets billigste bøger
Gratis fragt fra 599,- kr
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Automated Deduction - CADE-17

Automated Deduction - CADE-17

- 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

indgår i Lecture Notes in Artificial Intelligence serien

indgår i Lecture Notes in Computer Science serien

Automated Deduction - CADE-17
Bag om Automated Deduction - CADE-17

Abstracts or full papers of these talks are included in this volume.In addition to the accepted papers, system descriptions, andinvited talks, this volumecontains one page summaries of four tutorials and ?ve workshops held in conjunction with CADE-17.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540676645
  • Indbinding:
  • Paperback
  • Sideantal:
  • 526
  • Udgivet:
  • 5. juni 2000
  • Udgave:
  • 2000
  • Størrelse:
  • 234x156x27 mm.
  • Vægt:
  • 819 g.
Leveringstid: 8-11 hverdage
Forventet levering: 17. december 2024
Forlænget returret til d. 31. januar 2025

Beskrivelse af Automated Deduction - CADE-17

Abstracts or full papers of these talks are included in this volume.In addition to the accepted papers, system descriptions, andinvited talks, this volumecontains one page summaries of four tutorials and ?ve workshops held in conjunction with CADE-17.

Brugerbedømmelser af Automated Deduction - CADE-17



Andre købte også..
Find lignende bøger
Bogen Automated Deduction - CADE-17 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.